diff options
author | Andres Erbsen <andreser@google.com> | 2017-11-13 20:13:20 +0000 |
---|---|---|
committer | Andres Erbsen <andreser@google.com> | 2017-11-13 20:13:48 +0000 |
commit | f834938e741c980ee05e3bfba0642ba4c8bf8016 (patch) | |
tree | 37e367f6b6629bda73fe85cf0fa9a0831cb88ac0 /Makefile | |
parent | e9a2d88d9f9663042ae09065e993235807ddcd89 (diff) |
Makefile: generated-benchmarks
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -296,6 +296,8 @@ GENERATED_GMPSEC_MEASUREMENTS := $(addsuffix .log,$(GENERATED_GMPSEC)) GENERATED_FIBE := $(addsuffix fibe,$(GENERATED_FOLDERS)) GENERATED_FIBE_MEASUREMENTS := $(addsuffix .log,$(GENERATED_FIBE)) +generated-benchmarks: $(GENERATED_FIBE) $(GENERATED_GMPSEC) $(GENERATED_GMPVAR) $(GENERATED_GMPXX) + $(GENERATED_PY_MEASUREMENTS) : %/montladder.log : %/py_interpreter.sh src/Specific/Framework/bench/montladder.py sh $*/py_interpreter.sh src/Specific/Framework/bench/montladder.py > $@ |