1 diff --git a/nss/lib/freebl/Makefile b/nss/lib/freebl/Makefile
2 index 74e8e65..aa9dd95 100644
3 --- nss/lib/freebl/Makefile
4 +++ nss/lib/freebl/Makefile
5 @@ -568,7 +568,6 @@ ifneq ($(shell $(CC) -? 2>&1 >/dev/null </dev/null | sed -e 's/:.*//;1q'),lcc)
6 HAVE_INT128_SUPPORT = 1
7 DEFINES += -DHAVE_INT128_SUPPORT
8 else ifeq (1,$(CC_IS_GCC))
9 - SUPPORTS_VALE_CURVE25519 = 1
10 ifneq (,$(filter 4.6 4.7 4.8 4.9,$(word 1,$(GCC_VERSION)).$(word 2,$(GCC_VERSION))))
11 HAVE_INT128_SUPPORT = 1
12 DEFINES += -DHAVE_INT128_SUPPORT
13 @@ -593,11 +592,6 @@ ifndef HAVE_INT128_SUPPORT
14 DEFINES += -DKRML_VERIFIED_UINT128
17 -ifdef SUPPORTS_VALE_CURVE25519
18 - VERIFIED_SRCS += Hacl_Curve25519_64.c
19 - DEFINES += -DHACL_CAN_COMPILE_INLINE_ASM
22 ifndef NSS_DISABLE_CHACHAPOLY
23 ifeq ($(CPU_ARCH),x86_64)
24 ifndef NSS_DISABLE_AVX2
25 diff --git a/nss/lib/freebl/freebl.gyp b/nss/lib/freebl/freebl.gyp
26 index 65f9a80..23940ef 100644
27 --- nss/lib/freebl/freebl.gyp
28 +++ nss/lib/freebl/freebl.gyp
33 - [ 'supports_vale_curve25519==1', {
35 - # The Makefile does version-tests on GCC, but we're not doing that here.
36 - 'HACL_CAN_COMPILE_INLINE_ASM',
39 [ 'OS=="linux" or OS=="android"', {
41 [ 'target_arch=="x64"', {
46 - [ 'target_arch=="x64" and cc_is_gcc==1', {
47 - 'supports_vale_curve25519%': 1,
49 - 'supports_vale_curve25519%': 0,
51 [ 'target_arch=="x64" or target_arch=="arm64" or target_arch=="aarch64"', {
52 'have_int128_support%': 1,
54 diff --git a/nss/lib/freebl/freebl_base.gypi b/nss/lib/freebl/freebl_base.gypi
55 index d198c44..34b6b3c 100644
56 --- nss/lib/freebl/freebl_base.gypi
57 +++ nss/lib/freebl/freebl_base.gypi
59 'ecl/curve25519_32.c',
62 - ['supports_vale_curve25519==1', {
64 - 'verified/Hacl_Curve25519_64.c',
67 ['(target_arch!="ppc64" and target_arch!="ppc64le") or disable_altivec==1', {
69 # Gyp does not support per-file cflags, so working around like this.