summaryrefslogtreecommitdiff
path: root/bench/Makefile
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2014-08-15 15:13:44 -0400
committerOri Bernstein <ori@eigenstate.org>2014-08-15 15:13:44 -0400
commit437f6d851e88446fba90495a3175f02e8d3d390c (patch)
tree3bcb1e2b9c9e48e7547570b374c110faef8712d5 /bench/Makefile
parenta5a4e162cec3bb59c7d88a703d45edc916392453 (diff)
downloadmc-437f6d851e88446fba90495a3175f02e8d3d390c.tar.gz
Add benchmarking runner and makefile.
Now you can do 'make bench', and see how fast Myrddin runs. Or at least the integer sorting bit. TODO: expand this so that you can see how it compares to previous results, and add benchmarks.
Diffstat (limited to 'bench/Makefile')
-rw-r--r--bench/Makefile13
1 files changed, 13 insertions, 0 deletions
diff --git a/bench/Makefile b/bench/Makefile
new file mode 100644
index 0000000..c94452b
--- /dev/null
+++ b/bench/Makefile
@@ -0,0 +1,13 @@
+BIN=runner
+OBJ=runner.o
+BENCHSRC=intsort.myr
+BENCHUTIL=
+
+include ../config.mk
+include ../mk/c.mk
+
+bench: runner $(BENCHSRC:.myr=)
+ ./runner $(BENCHSRC:.myr=)
+
+$(BENCHSRC:.myr=): $(BENCHSRC) $(BENCHUTIL)
+ ../myrbuild/myrbuild -b $@ $@.myr $(BENCHUTIL)