From 08e4be46e6de3dbb596c8f31d37235489bcd6bc4 Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Mon, 14 Nov 2016 11:57:22 -0500 Subject: extraction: inline field operations into group operations --- Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 449f5fe98..792b1eda9 100644 --- a/Makefile +++ b/Makefile @@ -91,16 +91,18 @@ src/Experiments/Ed25519_noimports.hs: src/Experiments/Ed25519Extraction.vo src/E src/Experiments/Ed25519.hs: src/Experiments/Ed25519_noimports.hs src/Experiments/Ed25519_imports.hs ( cd src/Experiments && \ - < Ed25519_noimports.hs \ + ( < Ed25519_noimports.hs \ sed "/import qualified Prelude/r Ed25519_imports.hs" | \ sed 's/ Ed25519_noimports / Ed25519 /g' \ + && echo -e '{-# INLINE mul1 #-} \n{-# INLINE add2 #-} \n{-# INLINE sub3 #-}' ) \ > Ed25519.hs ) src/Experiments/X25519.hs: src/Experiments/X25519_noimports.hs src/Experiments/Ed25519_imports.hs ( cd src/Experiments && \ - < X25519_noimports.hs \ + ( < X25519_noimports.hs \ sed "/import qualified Prelude/r Ed25519_imports.hs" | \ sed 's/ X25519_noimports / X25519 /g' \ + && echo -e '{-# INLINE mul #-} \n{-# INLINE sub0 #-} \n{-# INLINE add #-}' ) \ > X25519.hs ) src/Experiments/Ed25519.o: src/Experiments/Ed25519.hs -- cgit v1.2.3