diff options
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | _CoqProject | 1 |
2 files changed, 1 insertions, 2 deletions
@@ -52,7 +52,7 @@ endif update-_CoqProject:: $(SHOW)'ECHO > _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 + $(HIDE)(echo '-R $(SRC_DIR) $(MOD_NAME)'; echo '-R Bedrock Bedrock'; (git ls-files 'src/*.v' 'Bedrock/*.v' | $(SORT_COQPROJECT))) > _CoqProject $(VOFILES): | coqprime diff --git a/_CoqProject b/_CoqProject index 10fcc852f..54615d4e6 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,6 +1,5 @@ -R src Crypto -R Bedrock Bedrock --arg "-compat 8.6" Bedrock/Nomega.v Bedrock/Word.v src/Demo.v |