simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-11 05:28:34 -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 2018-01-26 13:50:05 +01:00
commit 14c92bbe31
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
opam
View file

@ -12,10 +12,10 @@ build-doc: [
[make "doc"] [make "doc"]
] ]
install: [ install: [
[make "DOCDIR=%{msat:doc}%" "install"] [make "DOCDIR=%{doc}%" "install"]
] ]
remove: [ remove: [
[make "DOCDIR=%{msat:doc}%" "uninstall"] [make "DOCDIR=%{doc}%" "uninstall"]
] ]
depends: [ depends: [
"ocamlfind" {build} "ocamlfind" {build}