https://github.com/mit-plv/rewriter
Tip revision: c85e1c706d02332425a77e2cf74cc51211685bdf authored by Jason Gross on 16 July 2021, 22:50:11 UTC
Update perf txt/csv
Update perf txt/csv
Tip revision: c85e1c7
Makefile.local
PROFILE?=
# Remove -undeclared-scope once we stop supporting 8.9
OTHERFLAGS += -w -notation-overridden,-undeclared-scope,-deprecated-hint-rewrite-without-locality
ifneq ($(PROFILE),)
OTHERFLAGS += -profile-ltac
endif
include src/Rewriter/Rewriter/Examples/PerfTesting/Makefile.coq.local
