CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

More precision on installation

Browse Source
This commit is contained in:
Denis Merigoux 2019-09-04 11:02:49 +02:00
parent 095f0a8de1
commit 1bb6d7def5
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -8,7 +8,11 @@ it directly to Z3 in order to gain insight on the legislation that the code desc
## Usage
The project is distributed as a Dune artifact. Use standard dune commands to build
and install the library.
and install the library. In particular, if you want to install the library as an opam
package, use the following command at the root of the repository:
opam install ./
## License