simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

update build system

Browse source
This commit is contained in:
Simon Cruanes 2014-10-29 13:56:13 +01:00
parent d7caa719f7
commit 061369b392
5 changed files with 28 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
META
View file

@ -1,6 +1,8 @@
name="aez" name="msat"
version="0.3" version="dev"
description="Alt-Ergo Zero is an OCaml library for an SMT solver." description="MSAT is a modular SAT solver, plus extensions"
requires="num unix" requires="num unix"
archive(byte) = "aez.cma" archive(byte) = "msat.cma"
archive(native) = "aez.cmxa" archive(native) = "msat.cmxa"
archive(native) = "msat.cmxa"
archive(native, plugin) = "msat.cmxs"

5
Makefile
View file

@ -1,12 +1,11 @@
# copyright (c) 2014, guillaume bury # copyright (c) 2014, guillaume bury
LOG=build.log LOG=build.log
COMP=ocamlbuild -log $(LOG) COMP=ocamlbuild -log $(LOG) -use-ocamlfind -package zarith,unix -classic-display
OCAMLFIND= -use-ocamlfind -tag package\(zarith\)
FLAGS= FLAGS=
DIRS=-Is smt,common DIRS=-Is smt,common
DOC=lib.docdir/index.html DOC=lib.docdir/index.html
LIB=sat.cma LIB=msat.cma msat.cmxa msat.cmxs
GENERATED=$(MAIN) $(BIN) gmon.out GENERATED=$(MAIN) $(BIN) gmon.out
all:$(LIB) all:$(LIB)

18
msat.mlpack Normal file
View file

@ -0,0 +1,18 @@
Arith
Cc
Combine
Exception
Explanation
Fm
Intervals
Literal
Polynome
Smt
Solver
Solver_types
Sum
Symbols
Term
Ty
Uf
Use

1
sat.mlpack
View file

@ -1 +0,0 @@
Smt

1
smt/_tags Normal file
View file

@ -0,0 +1 @@
<*.ml*>: for-pack(Msat)