3rdparty: Use LOCAL_FLAGS instead of CFLAGS

This commit is contained in:
Christoph M. Wintersteiger 2019-02-15 13:38:18 +00:00 committed by Janos Follath
parent 2d4725f204
commit 9b5e77e2e3

View File

@ -11,7 +11,7 @@ THIRDPARTY_CRYPTO_OBJECTS+= \
ifeq ($(shell getconf LONG_BIT),64) ifeq ($(shell getconf LONG_BIT),64)
THIRDPARTY_CRYPTO_OBJECTS+=../3rdparty/everest/library/Hacl_Curve25519.o THIRDPARTY_CRYPTO_OBJECTS+=../3rdparty/everest/library/Hacl_Curve25519.o
else else
CFLAGS+="-DKRML_VERIFIED_UINT128" LOCAL_CFLAGS+="-DKRML_VERIFIED_UINT128"
THIRDPARTY_CRYPTO_OBJECTS+=../3rdparty/everest/library/legacy/Hacl_Curve25519.o \ THIRDPARTY_CRYPTO_OBJECTS+=../3rdparty/everest/library/legacy/Hacl_Curve25519.o \
../3rdparty/everest/library/kremlib/FStar_UInt128_extracted.o ../3rdparty/everest/library/kremlib/FStar_UInt128_extracted.o
endif endif