From 061369b39271ee0c34b875fb4ddfb32dfdcfcf58 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 29 Oct 2014 13:56:13 +0100
Subject: [PATCH] update build system

---
 META        | 12 +++++++-----
 Makefile    |  5 ++---
 msat.mlpack | 18 ++++++++++++++++++
 sat.mlpack  |  1 -
 smt/_tags   |  1 +
 5 files changed, 28 insertions(+), 9 deletions(-)
 create mode 100644 msat.mlpack
 delete mode 100644 sat.mlpack
 create mode 100644 smt/_tags

diff --git a/META b/META
index 15ee7786..98ba83e9 100644
--- a/META
+++ b/META
@@ -1,6 +1,8 @@
-name="aez"
-version="0.3"
-description="Alt-Ergo Zero is an OCaml library for an SMT solver."
+name="msat"
+version="dev"
+description="MSAT is a modular SAT solver, plus extensions"
 requires="num unix"
-archive(byte) = "aez.cma"
-archive(native) = "aez.cmxa"
+archive(byte) = "msat.cma"
+archive(native) = "msat.cmxa"
+archive(native) = "msat.cmxa"
+archive(native, plugin) = "msat.cmxs"
diff --git a/Makefile b/Makefile
index cff860e5..284d3b26 100644
--- a/Makefile
+++ b/Makefile
@@ -1,12 +1,11 @@
 # copyright (c) 2014, guillaume bury
 
 LOG=build.log
-COMP=ocamlbuild -log $(LOG)
-OCAMLFIND= -use-ocamlfind -tag package\(zarith\)
+COMP=ocamlbuild -log $(LOG) -use-ocamlfind -package zarith,unix -classic-display
 FLAGS=
 DIRS=-Is smt,common
 DOC=lib.docdir/index.html
-LIB=sat.cma
+LIB=msat.cma msat.cmxa msat.cmxs
 GENERATED=$(MAIN) $(BIN) gmon.out
 
 all:$(LIB)
diff --git a/msat.mlpack b/msat.mlpack
new file mode 100644
index 00000000..e35f665b
--- /dev/null
+++ b/msat.mlpack
@@ -0,0 +1,18 @@
+Arith
+Cc
+Combine
+Exception
+Explanation
+Fm
+Intervals
+Literal
+Polynome
+Smt
+Solver
+Solver_types
+Sum
+Symbols
+Term
+Ty
+Uf
+Use
diff --git a/sat.mlpack b/sat.mlpack
deleted file mode 100644
index 083cb552..00000000
--- a/sat.mlpack
+++ /dev/null
@@ -1 +0,0 @@
-Smt
diff --git a/smt/_tags b/smt/_tags
new file mode 100644
index 00000000..8f229e9e
--- /dev/null
+++ b/smt/_tags
@@ -0,0 +1 @@
+<*.ml*>: for-pack(Msat)