Commit cfe27da7 by Jacques-Henri Jourdan

Update INSTALLATION.md for the coq upport library.

parent 6c3cee39
......@@ -45,3 +45,11 @@ Compile and install as follows:
```
If necessary, adjust `PREFIX`, `USE_OCAMLFIND` and `TARGET` as described above.
In order to compile the Coq support library to be used with the Coq backend,
use the following commands:
```
make PREFIX=/usr/local USE_OCAMLFIND=true coq-all
sudo make PREFIX=/usr/local coq-install
```
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment