extraction less slow

1 files changed, 4 insertions, 4 deletions

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