From 894921015dde693697647b98b0c41467dcc91c08 Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Mon, 18 May 2015 16:17:49 +0100
Subject: Move the benchmarking logic out into a script.

It's a pain having it in a rule in Makefile.gtk, which isn't even the
recommended makefile these days - it can't be re-run conveniently, and
there's no way to parametrise it. Now it can be run no matter which
makefile you're using, and it lets you narrow down to a subset of
games (though not presets). Other options could easily be added.
---
 Recipe | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

(limited to 'Recipe')

diff --git a/Recipe b/Recipe
index a2d3090..4515ab9 100644
--- a/Recipe
+++ b/Recipe
@@ -142,11 +142,7 @@ test: benchmark.html benchmark.txt
 benchmark.html: benchmark.txt benchmark.pl
 	./benchmark.pl benchmark.txt > $@
 
-benchmark.txt: $(GAMES)
-	for i in $(GAMES); do \
-		for params in $$(env -i ./$(BINPREFIX)$$i --list-presets | cut -f1 -d' '); do \
-			env -i ./$(BINPREFIX)$$i --test-solve --time-generation --generate 100 $$params \
-			|| exit 1; \
-		done; \
-	done > $@
+benchmark.txt: benchmark.sh $(GAMES)
+	./benchmark.sh > $@
+
 !end
-- 
cgit v1.1