diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-20 02:55:09 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-20 02:55:09 -0400 |
| commit | a7c3e57cb7c3280dfec3a95b18dec83ee6e6d4f4 (patch) | |
| tree | 40bfe19c8659c16f996acb3fa7fb394625da62d1 /Makefile | |
| parent | b74857e6cc90fffe2a07e6bcf414ac4774a145cb (diff) | |
Makefile: build on Arch Linux once again
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -17,7 +17,6 @@ SILENCE_COQDEP = $(SILENCE_COQDEP_$(VERBOSE)) SORT_COQPROJECT = sed 's,[^/]*/,~&,g' | env LC_COLLATE=C sort | sed 's,~,,g' update-_CoqProject:: - $(VECHO) "GIT LS-FILES *.V > _COQPROJECT" $(Q)(echo '-R $(SRC_DIR) $(MOD_NAME)'; echo '-R Bedrock Bedrock'; (git ls-files 'src/*.v' 'Bedrock/*.v' | $(SORT_COQPROJECT))) > _CoqProject coq: coqprime Makefile.coq @@ -39,7 +38,6 @@ coqprime-8.5: $(MAKE) -C coqprime-8.5 Makefile.coq: Makefile _CoqProject - $(VECHO) "COQ_MAKEFILE" $(Q)$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq clean: Makefile.coq |