compute benchmarks are not tests

kth-step · Oct 14, 2024 · 6b06a61 · 6b06a61
1 parent 8319fcb
commit 6b06a61
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 5 deletions.
diff --git a/examples/compute/Holmakefile b/examples/compute/Holmakefile
@@ -24,5 +24,6 @@ test-compute.exe: test-compute.uo
 
 test: test-compute.exe
 	./test-compute.exe
+.PHONY: test
 
 EXTRA_CLEANS = test-compute.exe
diff --git a/examples/compute/examples/Holmakefile b/examples/compute/examples/Holmakefile
@@ -6,13 +6,14 @@ INCLUDES = $(HOLBADIR)/examples/compute/examples/increment \
  $(HOLBADIR)/examples/compute/examples/sum_list \
  $(HOLBADIR)/examples/compute/examples/jump_chain
 
-all: $(DEFAULT_TARGETS) test-examples.exe
+all: $(DEFAULT_TARGETS) benchmark-examples.exe
 .PHONY: all
 
-test-examples.exe: test-examples.uo
+benchmark-examples.exe: benchmark-examples.uo
 	$(HOLMOSMLC) -o $@ $<
 
-test: test-examples.exe
-	./test-examples.exe
+benchmark: benchmark-examples.exe
+	./benchmark-examples.exe
+.PHONY: benchmark
 
-EXTRA_CLEANS = test-examples.exe
+EXTRA_CLEANS = benchmark-examples.exe
diff --git a/examples/compute/examples/test-examples.sml → ...s/compute/examples/benchmark-examples.sml b/examples/compute/examples/test-examples.sml → ...s/compute/examples/benchmark-examples.sml