https://github.com/mit-plv/rewriter
Tip revision: 10c6a000dd9cb8d64322fd78588abbb04a313c88 authored by dependabot[bot] on 17 March 2022, 22:03:44 UTC
Bump etc/coq-scripts from `3be05c7` to `7e68a28` (#39)
Bump etc/coq-scripts from `3be05c7` to `7e68a28` (#39)
Tip revision: 10c6a00
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
