diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-02 11:08:32 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-04-03 15:08:18 -0400 |
| commit | d969b7e3c0ffcf997887e099d0917ac3a31ae5aa (patch) | |
| tree | 51df72743df8e1d3938c620c3c5c408a8c6fbb13 /Makefile | |
| parent | c823881fa6b528135a08e55b85713e107c6ada58 (diff) | |
Remove old reflective pipeline, making way the new
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 21 |
1 files changed, 7 insertions, 14 deletions
@@ -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 |