diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-15 18:42:20 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-10-18 11:12:52 -0400 |
| commit | 3eaa823c622af1b3101b41be9560a0eebe18a0a8 (patch) | |
| tree | a717e0fec6152d033805127b1f3226524e66ba8e /Makefile | |
| parent | 94aff5d20480d1471d2520f690c5b5f7ffbf0aaf (diff) | |
Revert "Add -compat 8.6 to _CoqProject"
This reverts commit 131f341f368b606fd50b57f135e602e40e132b46.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 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 |