Commit aa66bf2a authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Also build our own repo in README.md

parent 6575d643
Pipeline #10839 failed with stage
in 4 minutes and 18 seconds
......@@ -8,6 +8,7 @@ installed first. For Coq 8.9 clone [the repo](https://github.com/coq-contribs/co
and install it with
```bash
cd containers
make -j
make -f Makefile.coq install
```
......@@ -15,3 +16,8 @@ make -f Makefile.coq install
For other versions of Coq you will need to use an appropriate tag of this repo.
See [.gitlab-ci.yml](.gitlab-ci.yml) for how the CI builds with older versions
of Coq.
After coq-containers is installed, this repo should build with
```bash
make
```
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