https://github.com/mit-plv/rewriter
Revision 1787ab401a7e71afc9937010e2e155e4b1594ab5 authored by Jason Gross on 17 July 2021, 00:48:00 UTC, committed by Jason Gross on 17 July 2021, 00:48:00 UTC
This reverts commit a9972c000bda4d8606fe572556d4256614e5f8f7.
1 parent a9972c0
Raw File
Tip revision: 1787ab401a7e71afc9937010e2e155e4b1594ab5 authored by Jason Gross on 17 July 2021, 00:48:00 UTC
Revert "Remake perf files without {Slow,VerySlow}"
Tip revision: 1787ab4
Makefile.local-late
include Makefile.local.common

.merlin: $(COQ_VERSION_FILE)

$(VOFILES) $(CMOFILES) $(CMXFILES) $(OFILES) $(CMAFILES) $(CMIFILES) $(CMXSFILES): $(COQ_VERSION_FILE)

$(COMPATIBILITY_FILES) : % : %$(EXPECTED_EXT) $(COQ_VERSION_FILE)
	$(SHOW)'CP $@{$(EXPECTED_EXT),}'
	$(HIDE)cp $< $@

# ensure that the ml compat files exist before we call coqdep on the corresponding .v files
$(ALLDFILES): $(COMPATIBILITY_FILES) $(COQ_VERSION_FILE) _CoqProject

# Remove -undeclared-scope once we stop supporting 8.9
OTHERFLAGS += -w -notation-overridden,-undeclared-scope
ifneq ($(PROFILE),)
OTHERFLAGS += -profile-ltac
endif
back to top