From d969b7e3c0ffcf997887e099d0917ac3a31ae5aa Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 2 Apr 2017 11:08:32 -0400 Subject: Remove old reflective pipeline, making way the new --- Makefile | 21 +++++++-------------- 1 file changed, 7 insertions(+), 14 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index e7cb3db58..8060e4907 100644 --- a/Makefile +++ b/Makefile @@ -12,7 +12,6 @@ HIDE := $(if $(VERBOSE),,@) .PHONY: coq clean update-_CoqProject cleanall install \ install-coqprime clean-coqprime coqprime \ - specific-display display \ specific non-specific SORT_COQPROJECT = sed 's,[^/]*/,~&,g' | env LC_COLLATE=C sort | sed 's,~,,g' @@ -48,15 +47,9 @@ COQ_VOFILES := $(filter-out $(UNMADE_VOFILES),$(VOFILES)) LITE_VOFILES := $(filter-out $(HEAVY_VOFILES),$(COQ_VOFILES)) SPECIFIC_VO := $(filter src/Specific/%,$(VOFILES)) NON_SPECIFIC_VO := $(filter-out $(SPECIFIC_VO),$(VO_FILES)) -SPECIFIC_DISPLAY_VO := $(filter src/Specific/%Display.vo,$(VOFILES)) -DISPLAY_VO := $(SPECIFIC_DISPLAY_VO) -DISPLAY_JAVA_VO := $(filter %JavaDisplay.vo,$(DISPLAY_VO)) -DISPLAY_NON_JAVA_VO := $(filter-out $(DISPLAY_JAVA_VO),$(DISPLAY_VO)) specific: $(SPECIFIC_VO) coqprime non-specific: $(NON_SPECIFIC_VO) coqprime -specific-display: $(SPECIFIC_DISPLAY_VO:.vo=.log) coqprime -display: $(DISPLAY_VO:.vo=.log) coqprime coq: $(COQ_VOFILES) coqprime lite: $(LITE_VOFILES) coqprime @@ -86,13 +79,13 @@ Makefile.coq: Makefile _CoqProject $(SHOW)'COQ_MAKEFILE -f _CoqProject > $@' $(HIDE)$(COQBIN)coq_makefile -f _CoqProject | sed s'|^\(-include.*\)$$|ifneq ($$(filter-out $(FAST_TARGETS),$$(MAKECMDGOALS)),)~\1~else~ifeq ($$(MAKECMDGOALS),)~\1~endif~endif|g' | tr '~' '\n' | sed s'/^clean:$$/clean::/g' | sed s'/^Makefile: /Makefile-old: /g' | sed s'/^printenv:$$/printenv::/g' > $@ -$(DISPLAY_NON_JAVA_VO:.vo=.log) : %Display.log : %.vo %Display.v src/Reflection/Z/CNotations.vo - $(SHOW)"COQC $*Display > $@" - $(HIDE)$(COQC) $(COQDEBUG) $(COQFLAGS) $*Display.v > $@.tmp && mv -f $@.tmp $@ - -$(DISPLAY_JAVA_VO:.vo=.log) : %JavaDisplay.log : %.vo %JavaDisplay.v src/Reflection/Z/JavaNotations.vo - $(SHOW)"COQC $*JavaDisplay > $@" - $(HIDE)$(COQC) $(COQDEBUG) $(COQFLAGS) $*JavaDisplay.v > $@.tmp && mv -f $@.tmp $@ +#$(DISPLAY_NON_JAVA_VO:.vo=.log) : %Display.log : %.vo %Display.v src/Reflection/Z/CNotations.vo +# $(SHOW)"COQC $*Display > $@" +# $(HIDE)$(COQC) $(COQDEBUG) $(COQFLAGS) $*Display.v > $@.tmp && mv -f $@.tmp $@ +# +#$(DISPLAY_JAVA_VO:.vo=.log) : %JavaDisplay.log : %.vo %JavaDisplay.v src/Reflection/Z/JavaNotations.vo +# $(SHOW)"COQC $*JavaDisplay > $@" +# $(HIDE)$(COQC) $(COQDEBUG) $(COQFLAGS) $*JavaDisplay.v > $@.tmp && mv -f $@.tmp $@ clean:: rm -f Makefile.coq -- cgit v1.2.3