TEST cvc tomli

hdl · Aug 13, 2023 · 50b9771 · 50b9771
1 parent 9e209d8
commit 50b9771
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/debian-bullseye/cvc/HDLC b/debian-bullseye/cvc/HDLC
@@ -31,12 +31,13 @@ makedepends=(
   libfl-dev
   m4
   patch
-  python3-toml
+  python3-pip
   python3-pyparsing
   openjdk-11-jre-headless
 )
 
 build() {
+  pip3 install tomli
   git clone https://github.com/cvc5/cvc5.git /tmp/cvc5
   cd /tmp/cvc5
   git tag -d latest