diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-06-18 16:37:11 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-06-18 16:37:11 -0400 |
| commit | 50bdf1a84e0472c252632833fe127374319acca8 (patch) | |
| tree | db6b66d362a5109f13069929e0d918b5be955301 /Makefile | |
| parent | 87bf48fccf89460b8264bb5cedf6b0e966dde563 (diff) | |
"make bench", currently just X25519-C64 (closes #185)
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -17,7 +17,8 @@ INSTALLDEFAULTROOT := Crypto install-coqprime clean-coqprime coqprime \ specific-c specific-display display \ specific non-specific lite only-heavy printlite \ - curves-proofs no-curves-proofs + curves-proofs no-curves-proofs \ + bench c SORT_COQPROJECT = sed 's,[^/]*/,~&,g' | env LC_COLLATE=C sort | sed 's,~,,g' | uniq @@ -135,6 +136,8 @@ $(DISPLAY_NON_JAVA_VO:.vo=.log) : %Display.log : %.vo %Display.v src/Compilers/Z $(SHOW)"COQC $*Display > $@" $(HIDE)$(COQC) $(COQDEBUG) $(COQFLAGS) $*Display.v > $@.tmp && mv -f $@.tmp $@ +c: $(DISPLAY_NON_JAVA_VO:Display.vo=.c) + $(DISPLAY_NON_JAVA_VO:Display.vo=.c) : %.c : %Display.log extract-function.sh ./extract-function.sh $(patsubst %Display.log,%,$(notdir $<)) < $< > $@ @@ -150,6 +153,12 @@ DISPLAY_X25519_C64_VO := $(filter src/Specific/X25519/C64/%,$(DISPLAY_NON_JAVA_V src/Specific/X25519/C64/measure: src/Specific/X25519/C64/compiler.sh measure.c $(DISPLAY_X25519_C64_VO:Display.vo=.c) $(DISPLAY_X25519_C64_VO:Display.vo=.h) src/Specific/X25519/C64/scalarmult.c src/Specific/X25519/C64/compiler.sh -o src/Specific/X25519/C64/measure -I src/Specific/X25519/C64/ measure.c $(DISPLAY_X25519_C64_VO:Display.vo=.c) src/Specific/X25519/C64/scalarmult.c -D TIMINGS=2047 -D UUT=crypto_scalarmult_bench +src/Specific/X25519/C64/measurements.txt: src/Specific/X25519/C64/measure + ./capture.sh src/Specific/X25519/C64 + +bench: src/Specific/X25519/C64/measurements.txt + head -999999 $? + clean:: rm -f Makefile.coq |