Created
May 14, 2018 16:50
-
-
Save asergi/fd42de4a103a638cff5589a2f2c80dd0 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- 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