From 131f341f368b606fd50b57f135e602e40e132b46 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 15 Jun 2017 18:31:26 -0400
Subject: 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).
---
 Makefile    | 2 +-
 _CoqProject | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 9265681a2..d32b3305e 100644
--- a/Makefile
+++ b/Makefile
@@ -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
-- 
cgit v1.2.3