Remove cvc5 from optional binary

Due to formalsec/ocaml-cvc5#19
filipeom · May 27, 2024 · 411d6a2 · 411d6a2
1 parent a32a178
commit 411d6a2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/bin/dune b/bin/dune
@@ -10,5 +10,5 @@
  (public_name smtml2)
  (name main2)
  (modules main2)
- (libraries cmdliner smtml smtml.colibri2 smtml.bitwuzla smtml.cvc5)
+ (libraries cmdliner smtml smtml.colibri2 smtml.bitwuzla)
  (optional))
diff --git a/bin/main2.ml b/bin/main2.ml
@@ -45,7 +45,7 @@ let parse_cmdline =
             | Z3_prover2 -> (module Z3_mappings2)
             | Colibri2_prover -> (module Colibri2_mappings)
             | Bitwuzla_prover -> (module Bitwuzla_mappings)
-            | Cvc5_prover -> (module Cvc5_mappings)
+            | Cvc5_prover -> failwith "cvc5 turned off for now due to formalsec/ocaml-cvc5#19"
           : Mappings_intf.S )
     in
     Mappings.set_debug debug;