https://github.com/mit-plv/rewriter
Tip revision: a7e88a2c0afb00cb4e3557f85d53cb7443ef2126 authored by Jason Gross on 10 August 2022, 18:12:06 UTC
Fix check-all run
Fix check-all run
Tip revision: a7e88a2
Makefile.local
PROFILE?=
OTHERFLAGS += -w -notation-overridden,-unusable-identifier
ifneq ($(PROFILE),)
OTHERFLAGS += -profile-ltac
endif
include src/Rewriter/Rewriter/Examples/PerfTesting/Makefile.coq.local
