From c2275e4b9625a1a19eb50d0880f70ed583d5c358 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Mon, 8 Jul 2024 19:22:16 +0200
Subject: Stats for h48 solver as tool

---
 Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index f5ea6d9..cdf5bcd 100644
--- a/Makefile
+++ b/Makefile
@@ -18,8 +18,13 @@ test: debugcube.o
 	CUBETYPE=${CUBETYPE} TEST=${TEST} ./test/test.sh
 
 tool: cube.o
+	mkdir -p tools/results
 	CUBETYPE=${CUBETYPE} ./tools/run_tool.sh
 
+debugtool: debugcube.o
+	mkdir -p tools/results
+	CUBETYPE=${CUBETYPE} DEBUG=1 ./tools/run_tool.sh
+
 shell: cube.o
 	mkdir -p tables
 	${CC} ${CFLAGS} -o run cube.o shell.c
@@ -28,4 +33,4 @@ debugshell: debugcube.o
 	mkdir -p tables
 	${CC} ${DBGFLAGS} -o run debugcube.o shell.c
 
-.PHONY: all clean test tool shell debugshell
+.PHONY: all clean test tool debugtool shell debugshell
-- 
cgit v1.3