From b59f62e633da3ece4bff29823b6d19e79c3e3714 Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Sun, 14 May 2017 18:35:29 -0400 Subject: specialize squaring earlier --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 1d4020efb..78cd3cce2 100644 --- a/Makefile +++ b/Makefile @@ -106,7 +106,7 @@ $(DISPLAY_JAVA_VO:.vo=.log) : %JavaDisplay.log : %.vo %JavaDisplay.v src/Compile $(SHOW)"COQC $*JavaDisplay > $@" $(HIDE)$(COQC) $(COQDEBUG) $(COQFLAGS) $*JavaDisplay.v > $@.tmp && mv -f $@.tmp $@ -src/Specific/x25519_c64.c: src/Specific/x25519_c64.c.sh src/Specific/IntegrationTestMulDisplay.log +src/Specific/x25519_c64.c: src/Specific/x25519_c64.c.sh src/Specific/IntegrationTestLadderstepDisplay.log src/Specific/IntegrationTestMulDisplay.log src/Specific/IntegrationTestSquareDisplay.log bash src/Specific/x25519_c64.c.sh > src/Specific/x25519_c64.c clean:: -- cgit v1.2.3