https://github.com/mit-plv/rewriter
Tip revision: 1cd64f2598427f8f4ddcbe453fb61bff32fd0d3a authored by dependabot[bot] on 19 March 2024, 22:54:02 UTC
Bump etc/coq-scripts from `7b54b75` to `5876e80` (#150)
Bump etc/coq-scripts from `7b54b75` to `5876e80` (#150)
Tip revision: 1cd64f2
Makefile.local
PROFILE?=
OTHERFLAGS += -w -notation-overridden,-unusable-identifier
ifneq ($(PROFILE),)
OTHERFLAGS += -profile-ltac
endif
include src/Rewriter/Rewriter/Examples/PerfTesting/Makefile.coq.local
