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

wip: opam file

Browse source
This commit is contained in:
Simon Cruanes 2014-10-29 17:43:55 +01:00
parent 580ac25745
commit 52763c33a7
1 changed files with 11 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
README.md
View file

@ -19,8 +19,17 @@ This program is distributed under the Apache Software License version
## INSTALLATION ## INSTALLATION
============
You will need ocamlfind. ### Via opam
Once the package is on [opam](http://opam.ocaml.org), just `opam install msat`.
For the development version, use:
opam pin add msat https://github.com/Gbury/mSAT.git
### Manual installation You will need ocamlfind. The command is:
make install