refactor: split smtlib+bin into their own opam package

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/"
+

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" } 
 ]

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

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)