Lines 568-576
Link Here
|
568 |
HAVE_INT128_SUPPORT = 1 |
568 |
HAVE_INT128_SUPPORT = 1 |
569 |
DEFINES += -DHAVE_INT128_SUPPORT |
569 |
DEFINES += -DHAVE_INT128_SUPPORT |
570 |
else ifeq (1,$(CC_IS_GCC)) |
570 |
else ifeq (1,$(CC_IS_GCC)) |
571 |
ifeq ($(CPU_ARCH),x86_64) |
|
|
572 |
SUPPORTS_VALE_CURVE25519 = 1 |
573 |
endif |
574 |
ifneq (,$(filter 4.6 4.7 4.8 4.9,$(word 1,$(GCC_VERSION)).$(word 2,$(GCC_VERSION)))) |
571 |
ifneq (,$(filter 4.6 4.7 4.8 4.9,$(word 1,$(GCC_VERSION)).$(word 2,$(GCC_VERSION)))) |
575 |
HAVE_INT128_SUPPORT = 1 |
572 |
HAVE_INT128_SUPPORT = 1 |
576 |
DEFINES += -DHAVE_INT128_SUPPORT |
573 |
DEFINES += -DHAVE_INT128_SUPPORT |
Lines 595-605
Link Here
|
595 |
DEFINES += -DKRML_VERIFIED_UINT128 |
592 |
DEFINES += -DKRML_VERIFIED_UINT128 |
596 |
endif |
593 |
endif |
597 |
|
594 |
|
598 |
ifdef SUPPORTS_VALE_CURVE25519 |
|
|
599 |
VERIFIED_SRCS += Hacl_Curve25519_64.c |
600 |
DEFINES += -DHACL_CAN_COMPILE_INLINE_ASM |
601 |
endif |
602 |
|
603 |
ifndef NSS_DISABLE_CHACHAPOLY |
595 |
ifndef NSS_DISABLE_CHACHAPOLY |
604 |
ifeq ($(CPU_ARCH),x86_64) |
596 |
ifeq ($(CPU_ARCH),x86_64) |
605 |
ifndef NSS_DISABLE_AVX2 |
597 |
ifndef NSS_DISABLE_AVX2 |