0c847bcbe7
Apply Gilles suggestion to fix the problem with make on the CI when everest is enabled, i.e. use $(THIRDPARTY_DIR) instead of a fuzz specific hack involving $(THIRDPARTY_INCLUDES) Signed-off-by: Paul Elliott <paul.elliott@arm.com>
6 lines
337 B
Makefile
6 lines
337 B
Makefile
THIRDPARTY_INCLUDES+=-I$(THIRDPARTY_DIR)/everest/include -I$(THIRDPARTY_DIR)/everest/include/everest -I$(THIRDPARTY_DIR)/everest/include/everest/kremlib
|
|
|
|
THIRDPARTY_CRYPTO_OBJECTS+= \
|
|
$(THIRDPARTY_DIR)/everest/library/everest.o \
|
|
$(THIRDPARTY_DIR)/everest/library/x25519.o \
|
|
$(THIRDPARTY_DIR)/everest/library/Hacl_Curve25519_joined.o
|