Prepare for more benchmarks

Author: vouillon

benchmarks/Makefile

@@ -22,6 +22,7 @@ bench:
 	$(MAKE) -C benchmark-ocamlc bench
 	$(MAKE) -C benchmark-partial-render-table bench
 	$(MAKE) -C benchmark-camlboy bench
+	$(MAKE) -C benchmark-others bench
 
 microbenchmarks:
 	@date -u +"%FT%TZ - Microbenchmarks: starting"

benchmarks/benchmark-others/Makefile

@@ -0,0 +1,8 @@
+SUBDIRS := $(wildcard */.)
+
+bench: $(SUBDIRS)
+
+$(SUBDIRS):
+	$(MAKE) -C $@
+
+.PHONY: all $(SUBDIRS)

benchmarks/benchmark-others/dune

@@ -0,0 +1,3 @@
+; Ignore subdirectories
+
+(dirs)

benchmarks/utils/format_metrics.sh

@@ -1,7 +1,7 @@
 #!/bin/sh
 
 if [ "$1" = "exec" ]; then
-    jq '{name: ((.compiler[:1] | ascii_upcase) + .compiler[1:]), results: [{name: "'$NAME'", metrics: [{name: "Execution time", "units":"s", value: (.time | split(":") | map(tonumber) | .[0] * 60 + .[1])}]}]}'
+    jq '{name: ((.compiler[:1] | ascii_upcase) + .compiler[1:]), results: [{name: "'$NAME'", metrics: [{name: "'"${SUBNAME:-Execution time}"'", "units":"s", value: (.time | split(":") | map(tonumber) | .[0] * 60 + .[1])}]}]}'
 else
     jq '{name: ((.compiler[:1] | ascii_upcase) + .compiler[1:]), results: [{name: "'$NAME'", metrics: [{name: "Compilation time", "units":"s", value: (.time | split(":") | map(tonumber) | .[0] * 60 + .[1])}, {name: "Memory usage", "units":"KiB", value:(.mem)}]}]}'
 fi