https://github.com/mit-plv/fiat-crypto
Tip revision: 20ff71d2e96ca0948be074ed85b0607a4e821e5d authored by Andres Erbsen on 10 October 2021, 19:29:49 UTC
Update coq.yml
Update coq.yml
Tip revision: 20ff71d
Makefile-coq.local
PROFILE?=
# Remove -undeclared-scope once we stop supporting 8.9
OTHERFLAGS += -w -notation-overridden,-undeclared-scope,-deprecated-hint-rewrite-without-locality,-deprecated-hint-constr,-fragile-hint-constr,-native-compiler-disabled,-ambiguous-paths
ifneq ($(PROFILE),)
OTHERFLAGS += -profile-ltac
endif
