https://github.com/mit-plv/fiat-crypto
Tip revision: 23d2dbc4ab897d14bde4404f70cd6991635f9c01 authored by Jason Gross on 28 September 2021, 21:46:56 UTC
Factor utility lemmas from x86 out of asm files
Factor utility lemmas from x86 out of asm files
Tip revision: 23d2dbc
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
