From 8415660a121aed2cf25b4c0a050c7a92f223ba09 Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Wed, 12 Jun 2024 16:38:27 +0200
Subject: [PATCH] Compile with z3_mappings2.nop.ml when z3 is not installed

---
 lib/dune                                         | 12 ++++++++++++
 lib/{z3_mappings2.ml => z3_mappings2.default.ml} |  0
 2 files changed, 12 insertions(+)
 rename lib/{z3_mappings2.ml => z3_mappings2.default.ml} (100%)

diff --git a/lib/dune b/lib/dune
index 8d133149..fea365b0 100644
--- 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 b/lib/z3_mappings2.default.ml
similarity index 100%
rename from lib/z3_mappings2.ml
rename to lib/z3_mappings2.default.ml