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

Removed dependency on zarith and fixed build options. Solves issue #1

Browse source
This commit is contained in:
Guillaume Bury 2015-05-07 16:07:04 +02:00
parent 383ce09653
commit 23f627cae3
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
_tags
View file

@ -1,6 +1,6 @@
<util/*.cmx>: for-pack(Msat), package(unix) <util/*.cmx>: for-pack(Msat), package(unix)
<util/*.native>: package(unix) <util/*.native>: package(unix)
<smt/*.cmx>: for-pack(Msat), package(zarith) <smt/*.cmx>: for-pack(Msat)
<sat/*.cmx>: for-pack(Msat) <sat/*.cmx>: for-pack(Msat)
<solver/*.cmx>: for-pack(Msat) <solver/*.cmx>: for-pack(Msat)

2
opam
View file

@ -12,7 +12,7 @@ install: [
remove: [ remove: [
["ocamlfind" "remove" "msat"] ["ocamlfind" "remove" "msat"]
] ]
depends: ["ocamlfind" {build} "base-unix" "zarith"] depends: ["ocamlfind" {build} "base-unix"]
tags: [ "sat" "smt" ] tags: [ "sat" "smt" ]
homepage: "https://github.com/Gbury/mSAT" homepage: "https://github.com/Gbury/mSAT"
dev-repo: "https://github.com/Gbury/mSAT.git" dev-repo: "https://github.com/Gbury/mSAT.git"