diff options
author | Jason Gross <jgross@mit.edu> | 2018-01-15 09:21:25 -0500 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-01-16 09:04:55 +0100 |
commit | e189b6c84a085f1e509becaa8fb4eac0132f3bfe (patch) | |
tree | d8d7ea37b184ab6b37451550a31c3fd4419939d4 /Makefile | |
parent | 2f0c96b04ae1a666861646b701847445789e4c3a (diff) |
Add separate targets to build but not run test/bench
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 13 |
1 files changed, 11 insertions, 2 deletions
@@ -18,8 +18,8 @@ INSTALLDEFAULTROOT := Crypto specific-c specific-display display \ specific non-specific lite only-heavy printlite \ curves-proofs no-curves-proofs no-curves-proofs-non-specific \ - selected-specific selected-specific-display nonautogenerated-specific nonautogenerated-specific-display nonautogenerated-c selected-test selected-bench selected-c \ - test bench c \ + selected-specific selected-specific-display nonautogenerated-specific nonautogenerated-specific-display nonautogenerated-c build-selected-test selected-test build-selected-bench selected-bench selected-c \ + build-test test build-bench bench c \ regenerate-curves SORT_COQPROJECT = sed 's,[^/]*/,~&,g' | env LC_COLLATE=C sort | sed 's,~,,g' | uniq @@ -268,6 +268,7 @@ MEASURE_BINARIES := $(addsuffix measure,$(dir $(MEASUREMENTS))) SELECTED_TEST_BINARIES := $(filter $(SELECTED_PATTERN),$(TEST_BINARIES)) RUN_SELECTED_TEST_BINARIES := $(filter $(SELECTED_PATTERN),$(RUN_TEST_BINARIES)) +SELECTED_MEASURE_BINARIES := $(filter $(SELECTED_PATTERN),$(MEASURE_BINARIES)) SELECTED_MEASUREMENTS := $(filter $(SELECTED_PATTERN),$(MEASUREMENTS)) src/Specific/X25519/C64/test src/Specific/X25519/C64/measure: $(filter-out $(UNMADE_C_FILES),$(DISPLAY_X25519_C64_VO:Display.vo=.c) $(DISPLAY_X25519_C64_VO:Display.vo=.h)) src/Specific/X25519/C64/scalarmult.c @@ -402,8 +403,16 @@ $(RUN_TEST_BINARIES) : %-run : % test: $(RUN_TEST_BINARIES) +build-test: $(TEST_BINARIES) + selected-test: $(RUN_SELECTED_TEST_BINARIES) +build-selected-test: $(SELECTED_TEST_BINARIES) + +build-bench: $(MEASURE_BINARIES) + +build-selected-bench: $(SELECTED_MEASURE_BINARIES) + clean:: rm -f Makefile.coq remake_curves.log src/Specific/.autgenerated-deps |