From 70e4c655a2be9224b11882c609631c7dcdeae619 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 7 Jun 2019 17:59:07 -0500
Subject: [PATCH] refactor: split smtlib+bin into their own opam package

---
 sidekick-bin.opam | 27 +++++++++++++++++++++++++++
 sidekick.opam     |  4 +---
 src/main/dune     |  4 ++--
 src/smtlib/dune   |  2 +-
 4 files changed, 31 insertions(+), 6 deletions(-)
 create mode 100644 sidekick-bin.opam

diff --git a/sidekick-bin.opam b/sidekick-bin.opam
new file mode 100644
index 00000000..37579ba8
--- /dev/null
+++ b/sidekick-bin.opam
@@ -0,0 +1,27 @@
+opam-version: "2.0"
+name: "sidekick-bin"
+license: "Apache"
+synopsis: "SMT solver based on msat and CDCL(T) (standalone binary)"
+version: "dev"
+author: ["Simon Cruanes" "Guillaume Bury"]
+maintainer: ["simon.cruanes.2007@m4x.org"]
+build: [
+  ["dune" "build" "@install" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name] {with-doc}
+  # ["dune" "runtest" "-p" name] {with-test}
+]
+depends: [
+  "dune" {build}
+  "containers"
+  "iter"
+  "zarith"
+  "sidekick"
+  "menhir"
+  "msat" { >= "0.8" < "0.9" }
+  "ocaml" { >= "4.03" } 
+]
+tags: [ "sat" "smt" ]
+homepage: "https://github.com/c-cube/sidekick"
+dev-repo: "git+https://github.com/c-cube/sidekick.git"
+bug-reports: "https://github.com/c-cube/sidekick/issues/"
+
diff --git a/sidekick.opam b/sidekick.opam
index bb62b9b1..478e94e9 100644
--- a/sidekick.opam
+++ b/sidekick.opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "sidekick"
 license: "Apache"
-synopsis: "SMT solver based on msat, based on CDCL(T)"
+synopsis: "SMT solver based on msat and CDCL(T) (functor library)"
 version: "dev"
 author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["simon.cruanes.2007@m4x.org"]
@@ -14,8 +14,6 @@ depends: [
   "dune" {build}
   "containers"
   "iter"
-  "zarith"
-  "menhir"
   "msat" { >= "0.8" < "0.9" }
   "ocaml" { >= "4.03" } 
 ]
diff --git a/src/main/dune b/src/main/dune
index 5c45b6cf..cecce543 100644
--- a/src/main/dune
+++ b/src/main/dune
@@ -3,9 +3,9 @@
 (executable
  (name main)
  (public_name sidekick)
- (package sidekick)
+ (package sidekick-bin)
  (libraries containers iter result msat sidekick.core sidekick.base-term
-   sidekick.msat-solver sidekick.smtlib)
+   sidekick.msat-solver sidekick-bin.smtlib)
  (flags :standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string -color always
    -open Sidekick_util)
  (ocamlopt_flags :standard -O3 -color always -unbox-closures
diff --git a/src/smtlib/dune b/src/smtlib/dune
index ac71b585..2ee60601 100644
--- a/src/smtlib/dune
+++ b/src/smtlib/dune
@@ -1,6 +1,6 @@
 (library
  (name sidekick_smtlib)
- (public_name sidekick.smtlib)
+ (public_name sidekick-bin.smtlib)
  (libraries containers zarith msat sidekick.core sidekick.util
    sidekick.msat-solver sidekick.base-term sidekick.th-bool-static
    sidekick.mini-cc msat.backend)