From 411d6a247ad97c2fe5b4d2ea8998bb85b83cfdd2 Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Mon, 27 May 2024 17:06:20 +0100
Subject: [PATCH] Remove cvc5 from optional binary

Due to formalsec/ocaml-cvc5#19
---
 bin/dune     | 2 +-
 bin/main2.ml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/dune b/bin/dune
index c2d11c20..6141772d 100644
--- 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
index fa62f72b..56e42c7c 100644
--- 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;