From 9b5e77e2e3fa3555c385c1b170a8dd99455253c9 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 15 Feb 2019 13:38:18 +0000 Subject: [PATCH] 3rdparty: Use LOCAL_FLAGS instead of CFLAGS --- 3rdparty/everest/Makefile.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/3rdparty/everest/Makefile.inc b/3rdparty/everest/Makefile.inc index 7aaa37446..5387e180f 100644 --- 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