https://github.com/mit-plv/rewriter
Revision 77c76a43689ce532921ccfa200b44083bc52dc21 authored by Andres Erbsen on 15 February 2023, 04:05:22 UTC, committed by GitHub on 15 February 2023, 04:05:22 UTC
1 parent c26f81b
Raw File
Tip revision: 77c76a43689ce532921ccfa200b44083bc52dc21 authored by Andres Erbsen on 15 February 2023, 04:05:22 UTC
adapt for coq/coq#17022 (#96)
Tip revision: 77c76a4
Makefile.local
PROFILE?=
OTHERFLAGS += -w -notation-overridden,-unusable-identifier
ifneq ($(PROFILE),)
OTHERFLAGS += -profile-ltac
endif

include src/Rewriter/Rewriter/Examples/PerfTesting/Makefile.coq.local
back to top