From 83edbe7b4860dd5a1be3f281438b1ecade08bd43 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 17 Jun 2018 13:40:47 -0500
Subject: [PATCH] fix(build): make menhir+zarith mandatory deps

---
 sidekick.opam     | 2 ++
 src/smtlib/jbuild | 1 -
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/sidekick.opam b/sidekick.opam
index c3935394..635d9133 100644
--- a/sidekick.opam
+++ b/sidekick.opam
@@ -11,6 +11,8 @@ depends: [
   "jbuilder" {build}
   "containers"
   "sequence"
+  "zarith"
+  "menhir"
 ]
 depopts: [
   "dolmen"
diff --git a/src/smtlib/jbuild b/src/smtlib/jbuild
index c041f14f..9dbc70d5 100644
--- a/src/smtlib/jbuild
+++ b/src/smtlib/jbuild
@@ -6,7 +6,6 @@
 (library
   ((name sidekick_smtlib)
    (public_name sidekick.smtlib)
-   (optional) ; only if deps present
    (libraries (containers zarith sidekick.smt sidekick.util
                sidekick.smt.th_bool sidekick.backend))
    (flags (:standard -w +a-4-42-44-48-50-58-32-60@8