3rdparty: Use LOCAL_FLAGS instead of CFLAGS

bastiengi · Aug 19, 2019 · 9b5e77e · 9b5e77e
1 parent 2d4725f
commit 9b5e77e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/3rdparty/everest/Makefile.inc b/3rdparty/everest/Makefile.inc
@@ -11,7 +11,7 @@ THIRDPARTY_CRYPTO_OBJECTS+= \
 ifeq ($(shell getconf LONG_BIT),64)
 THIRDPARTY_CRYPTO_OBJECTS+=../3rdparty/everest/library/Hacl_Curve25519.o
 else
-CFLAGS+="-DKRML_VERIFIED_UINT128"
+LOCAL_CFLAGS+="-DKRML_VERIFIED_UINT128"
 THIRDPARTY_CRYPTO_OBJECTS+=../3rdparty/everest/library/legacy/Hacl_Curve25519.o \
 	../3rdparty/everest/library/kremlib/FStar_UInt128_extracted.o
 endif