Skip to content

Instantly share code, notes, and snippets.

@asergi
Created May 14, 2018 16:50
Show Gist options
  • Save asergi/fd42de4a103a638cff5589a2f2c80dd0 to your computer and use it in GitHub Desktop.
Save asergi/fd42de4a103a638cff5589a2f2c80dd0 to your computer and use it in GitHub Desktop.
--- nss/lib/freebl/Makefile.orig 2018-05-04 18:40:51.000000000 +0200
+++ nss/lib/freebl/Makefile 2018-05-14 18:14:14.316003320 +0200
@@ -535,11 +535,12 @@
# All intel architectures get the 64 bit version
# With custom uint128 if necessary (faster than generic 32 bit version).
ECL_SRCS += curve25519_64.c
- VERIFIED_SRCS += Hacl_Curve25519.c FStar.c
+ VERIFIED_SRCS += Hacl_Curve25519.c
else
# All non intel architectures get the generic 32 bit implementation (slow!)
ECL_SRCS += curve25519_32.c
endif
+VERIFIED_SRCS += FStar.c
#######################################################################
# (5) Execute "global" rules. (OPTIONAL) #
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment