From da89fd027e7fc9339cb3f637edf47f6a74c7d589 Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Thu, 3 Nov 2016 22:04:58 -0400 Subject: fix extraction directives -- tested enc((l+1)B)=enc(B) --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') 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 -- cgit v1.2.3