diff options
author | Jason Gross <jgross@mit.edu> | 2017-06-15 18:31:26 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-06-15 18:31:26 -0400 |
commit | 131f341f368b606fd50b57f135e602e40e132b46 (patch) | |
tree | d9148edb7e3dd7f59f42476ff2d09515a7591997 | |
parent | 4c29a88db8c65e2e5450a662eb793fcac62ddb5d (diff) |
Add -compat 8.6 to _CoqProject
This allows fiat-crypto to continue working with trunk, after the merge
of https://github.com/coq/coq/pull/220. We will remove this when we
migrate to requiring 8.6.1 or 8.7 (neither of which is released yet).
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | _CoqProject | 1 |
2 files changed, 2 insertions, 1 deletions
@@ -47,7 +47,7 @@ endif update-_CoqProject:: $(SHOW)'ECHO > _CoqProject' - $(HIDE)(echo '-R $(SRC_DIR) $(MOD_NAME)'; echo '-R Bedrock Bedrock'; (git ls-files 'src/*.v' 'Bedrock/*.v' | $(SORT_COQPROJECT))) > _CoqProject + $(HIDE)(echo '-R $(SRC_DIR) $(MOD_NAME)'; echo '-R Bedrock Bedrock'; echo '-arg "-compat 8.6"'; (git ls-files 'src/*.v' 'Bedrock/*.v' | $(SORT_COQPROJECT))) > _CoqProject $(VOFILES): | coqprime diff --git a/_CoqProject b/_CoqProject index 4d855ca5c..757f91882 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,5 +1,6 @@ -R src Crypto -R Bedrock Bedrock +-arg "-compat 8.6" Bedrock/Nomega.v Bedrock/Word.v src/Algebra/Field.v |