From 11f1d0cc2708aabd875d675ef39e86a1c8547ace Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Fri, 11 Nov 2016 10:21:26 -0500 Subject: extraction less slow --- Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 5673cf481..c0d3fdd04 100644 --- a/Makefile +++ b/Makefile @@ -101,11 +101,11 @@ src/Experiments/X25519.hs: src/Experiments/X25519_noimports.hs src/Experiments/E sed 's/ X25519_noimports / X25519 /g' \ > X25519.hs ) -src/Experiments/Ed25519.o src/Experiments/Ed25519.core: src/Experiments/Ed25519.hs - ( cd src/Experiments && ghc -XStrict -O3 Ed25519.hs -ddump-simpl > Ed25519.core ) +src/Experiments/Ed25519.o: src/Experiments/Ed25519.hs + ( cd src/Experiments && ghc -XStrict -O3 Ed25519.hs ) -src/Experiments/X25519.o src/Experiments/X25519.core: src/Experiments/X25519.hs - ( cd src/Experiments && ghc -XStrict -O3 X25519.hs -ddump-simpl > X25519.core ) +src/Experiments/X25519.o: src/Experiments/X25519.hs + ( cd src/Experiments && ghc -XStrict -O3 X25519.hs ) extraction: src/Experiments/Ed25519.hs src/Experiments/X25519.hs ghc: src/Experiments/Ed25519.core src/Experiments/Ed25519.o src/Experiments/X25519.o src/Experiments/X25519.core -- cgit v1.2.3