chore: Update smithril version

misonijnik · Oct 31, 2024 · 5939efc · 5939efc
1 parent c95496a
commit 5939efc
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -38,7 +38,7 @@ env:
   Z3_VERSION: 4.8.15
   SQLITE_VERSION: 3400100
   BITWUZLA_VERSION: 0.3.1
-  SMITHRIL_VERSION: v0.0.10
+  SMITHRIL_VERSION: v0.1.0
   JSON_VERSION: v3.11.3
   IMMER_VERSION: v0.8.1
 

diff --git a/build.sh b/build.sh
@@ -57,7 +57,7 @@ STP_VERSION=2.3.3
 MINISAT_VERSION=master
 
 BITWUZLA_VERSION=0.3.1
-SMITHRIL_VERSION=v0.0.10
+SMITHRIL_VERSION=v0.1.0
 
 KEEP_PARSE="true"
 while [ $KEEP_PARSE = "true" ]; do

diff --git a/scripts/build/p-smithril.inc b/scripts/build/p-smithril.inc
@@ -20,7 +20,6 @@ build_smithril() {
 
   (
     rustup default nightly
-    cargo build --workspace --release
     cargo cinstall --destdir="/" --prefix="${SMITHRIL_INSTALL_PATH}"
   )
   popd
-Original file line number
+Diff line change
@@ Expand Up / @@ -20,7 +20,6 @@ build_smithril() { @@
       (
         rustup default nightly
-        cargo build --workspace --release
         cargo cinstall --destdir="/" --prefix="${SMITHRIL_INSTALL_PATH}"
       )
       popd
@@ Expand Down @@