https://github.com/mit-plv/rewriter
Tip revision: 67901e01a88651023da2d6214df17170a21d4cbd authored by Jason Gross on 02 October 2022, 11:43:59 UTC
Merge pull request #62 from JasonGross/ltac2-reify-more
Merge pull request #62 from JasonGross/ltac2-reify-more
Tip revision: 67901e0
Makefile.local
PROFILE?=
OTHERFLAGS += -w -notation-overridden,-unusable-identifier
ifneq ($(PROFILE),)
OTHERFLAGS += -profile-ltac
endif
include src/Rewriter/Rewriter/Examples/PerfTesting/Makefile.coq.local
