changeset 1301:e1aefebe4ea2 tooling/benchmarks

Remove unnecessary targets in Makefile
author Jonatan Werpers <jonatan@werpers.com>
date Thu, 23 Mar 2023 08:40:35 +0100
parents f19c51ddbd72
children 68dd0c9f5cac
files Makefile
diffstat 1 files changed, 6 insertions(+), 17 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Thu Mar 02 09:59:42 2023 +0100
+++ b/Makefile	Thu Mar 23 08:40:35 2023 +0100
@@ -44,11 +44,14 @@
 	rm -rf docs/build
 	rm -rf docs/build-local	
 
-benchmark: benchmark/run-benchmark
+benchmark:
+	$(JULIA) --project=benchmark benchmark/make.jl
 
-benchmarkrev: benchmark/run-benchmark-rev
+benchmarkrev:
+	$(JULIA) --project=benchmark benchmark/make.jl --rev $(REV)
 
-benchmarkcmp: benchmark/run-benchmark-cmp
+benchmarkcmp:
+	$(JULIA) --project=benchmark benchmark/make.jl --cmp $(TARGET) $(BASELINE)
 
 cleanbenchmark:
 	rm -rf benchmark/results
@@ -67,17 +70,3 @@
 
 docs/build-local: $(DOCS_DEPENDENCIES)
 	$(JULIA) --project=docs docs/make.jl --build-dir build-local
-
-benchmark/run-benchmark:
-	$(JULIA) --project=benchmark benchmark/make.jl
-
-benchmark/run-benchmark-rev:
-	$(JULIA) --project=benchmark benchmark/make.jl --rev $(REV)
-
-benchmark/run-benchmark-cmp:
-	$(JULIA) --project=benchmark benchmark/make.jl --cmp $(TARGET) $(BASELINE)
-
-
-.PHONY: temp
-temp:
-	@echo $(SRC_FILES_AND_DIRS)