Compile with z3_mappings2.nop.ml when z3 is not installed

formalsec · Jun 12, 2024 · 8415660 · 8415660
1 parent 4aa7334
commit 8415660
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/lib/dune b/lib/dune
@@ -67,6 +67,13 @@
    from
    (z3 -> z3_mappings.default.ml)
    (-> z3_mappings.nop.ml))
+  ;; This is the improved version of the mappings
+  ;; Will replace the previous one at some point
+  (select
+   z3_mappings2.ml
+   from
+   (z3 -> z3_mappings2.default.ml)
+   (-> z3_mappings2.nop.ml))
   (select
    cvc5_mappings.ml
    from
@@ -90,6 +97,11 @@
     (progn
      (echo "let solver_name = \"Z3\"\n")
      (cat mappings.nop.ml)))
+   (with-stdout-to
+    z3_mappings2.nop.ml
+    (progn
+     (echo "let solver_name = \"Z3\"\n")
+     (cat mappings.nop.ml)))
    (with-stdout-to
     colibri2_mappings.nop.ml
     (progn

diff --git a/lib/z3_mappings2.ml → lib/z3_mappings2.default.ml b/lib/z3_mappings2.ml → lib/z3_mappings2.default.ml