Upgrade z3 dependency

The opam package for z3 4.8.4 switched to static builds by default, but still seems to have some issues with passing the correct flags. This seems to have converged to a working state with z3 4.8.7.
alastairreid · May 18, 2020 · a812229 · a812229
1 parent c0c0d11
commit a812229
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/asli.opam b/asli.opam
@@ -23,7 +23,7 @@ depends: [
   "linenoise"
   "pprint"
   "zarith"
-  "z3" {<= "4.7.1"}
+  "z3" {>= "4.8.7"}
   "alcotest" {with-test}
 ]
 build: [

diff --git a/dune-project b/dune-project
@@ -21,7 +21,7 @@
     "linenoise"
     "pprint"
     "zarith"
-    ("z3"        (>= "4.8.4"))
+    ("z3"        (>= "4.8.7"))
     ("alcotest"  :with-test)
   )
 )