From 6b06a61e05a6b0b899288180463e96b68c79299d Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Mon, 14 Oct 2024 22:11:04 +0200
Subject: [PATCH] compute benchmarks are not tests

---
 examples/compute/Holmakefile                          |  1 +
 examples/compute/examples/Holmakefile                 | 11 ++++++-----
 .../{test-examples.sml => benchmark-examples.sml}     |  0
 3 files changed, 7 insertions(+), 5 deletions(-)
 rename examples/compute/examples/{test-examples.sml => benchmark-examples.sml} (100%)

diff --git a/examples/compute/Holmakefile b/examples/compute/Holmakefile
index a256daeac..c5d5291e2 100644
--- 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
index d15396248..035c28eb4 100644
--- 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 b/examples/compute/examples/benchmark-examples.sml
similarity index 100%
rename from examples/compute/examples/test-examples.sml
rename to examples/compute/examples/benchmark-examples.sml