fix extraction directives -- tested enc((l+1)B)=enc(B)

1 files changed, 2 insertions, 2 deletions

diff --git a/Makefile b/Makefile
index e1f99befe..c3e34c2f1 100644
--- a/Makefile
+++ b/Makefile
@@ -95,10 +95,10 @@ src/Experiments/Ed25519.hs: src/Experiments/Ed25519_noimports.hs src/Experiments
 		> Ed25519.hs )
 
 src/Experiments/Ed25519.o src/Experiments/Ed25519.core: src/Experiments/Ed25519.hs
-	( cd src/Experiments && ghc -O3 Ed25519.hs -ddump-simpl > Ed25519.core )
+	( cd src/Experiments && ghc -XStrict -O3 Ed25519.hs -ddump-simpl > Ed25519.core )
 
 extraction: src/Experiments/Ed25519.hs
-ghc: src/Experiments/Ed25519.core
+ghc: src/Experiments/Ed25519.core src/Experiments/Ed25519.o
 
 clean::
 	rm -f Makefile.coq