diff options
author | Andres Erbsen <andreser@mit.edu> | 2017-05-14 18:35:29 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2017-05-14 18:35:29 -0400 |
commit | b59f62e633da3ece4bff29823b6d19e79c3e3714 (patch) | |
tree | 845a5b6554c698d4b586b518425aaa880423812e /Makefile | |
parent | 8bade36d3e2162e6acacd5f057fe6b106f49a637 (diff) |
specialize squaring earlier
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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:: |