Commit c4ae02c0 authored by Ralf Jung's avatar Ralf Jung

no need for git here

parent 43cf91c4
Pipeline #14555 passed with stage
in 2 minutes and 27 seconds
......@@ -30,8 +30,7 @@ Then you can do `opam install coq-iris.3.1.0`.
## Installing Iris from source
If you are unable to use opam, you can also build Iris from source. For this,
make sure to `git checkout` the correct versions, and run `make; make install`
for all of:
run `make; make install` for all of:
* ssreflect: <https://github.com/math-comp/math-comp/archive/mathcomp-1.7.0.tar.gz>
(`cd mathcomp/ssreflect` to only compile and install what is needed)
......
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