diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-02 11:01:14 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-04-02 12:05:01 -0400 |
| commit | c4ce787fddb5d8eefd96cd4706aa1ee7a8ea8843 (patch) | |
| tree | f9b7f1edb580a5f820d9f51acf5df229404f99c2 /README.md | |
| parent | 719844deb55f1566b3bc73d3e6e16f906aa72e62 (diff) | |
Remove coqprime-8.4
We're using tactics in terms in some places, and so have no hope of
compiling with Coq 8.4. We no longer pretend to support it.
We can probably also remove some other compatibility things, if we want.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 7 |
1 files changed, 1 insertions, 6 deletions
@@ -10,16 +10,11 @@ To build (if your COQPATH variable is empty): make -To build (Coq 8.5): +To build (Coq 8.5, Coq 8.6): export COQPATH="$(pwd)/coqprime${COQPATH:+:}$COQPATH" make -To build with Coq 8.4 - - export COQPATH="$(pwd)/coqprime-8.4${COQPATH:+:}$COQPATH" - make - ## Build Targets - The default target, `make` or `make coq`, builds the main files, and requires 1.3 GB of RAM |