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

Merge branch 'master' of github.com:Gbury/mSAT

Browse source
This commit is contained in:
Guillaume Bury 2014-10-29 14:22:27 +01:00
commit cb988eadfa
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
META
View file

@ -3,5 +3,6 @@ version="dev"
description="MSAT is a modular SAT solver, plus extensions" description="MSAT is a modular SAT solver, plus extensions"
requires="num unix" requires="num unix"
archive(byte) = "msat.cma" archive(byte) = "msat.cma"
archive(byte, plugin) = "msat.cma"
archive(native) = "msat.cmxa" archive(native) = "msat.cmxa"
archive(native, plugin) = "msat.cmxs" archive(native, plugin) = "msat.cmxs"

2
Makefile
View file

@ -21,7 +21,7 @@ doc:
clean: clean:
$(COMP) -clean $(COMP) -clean
TO_INSTALL=META $(addprefix _build/,$(LIB)) TO_INSTALL=META $(addprefix _build/,$(LIB) $(NAME).a $(NAME).cmi)
install: all install: all
ocamlfind install msat $(TO_INSTALL) ocamlfind install msat $(TO_INSTALL)