From 4a16da26dacdb37b9ef8d3d11e10ecb94b0cf396 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Wed, 3 Jul 2024 15:05:10 +0200
Subject: renamed benchmarks to tools

---
 tools/run_tool.sh | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100755 tools/run_tool.sh

(limited to 'tools/run_tool.sh')

diff --git a/tools/run_tool.sh b/tools/run_tool.sh
new file mode 100755
index 0000000..21b6ce9
--- /dev/null
+++ b/tools/run_tool.sh
@@ -0,0 +1,27 @@
+#!/bin/sh
+
+if [ -z "$TOOL" ]; then
+	echo "No tool selected (TOOL variable must be set)"
+	exit 1
+fi
+
+CC="cc -std=c99 -pedantic -Wall -Wextra \
+    -Wno-unused-parameter -Wno-unused-function -O3 -D$CUBETYPE \
+    -D_POSIX_C_SOURCE=199309L"
+
+[ "$CUBETYPE" = "CUBE_AVX2" ] && CC="$CC -mavx2"
+
+BIN="tools/run"
+CUBEOBJ="cube.o"
+d="$(date +'%Y-%m-%d-%H-%M-%S')"
+
+for t in tools/*; do
+	if [ ! -d "$t" ] || [ -z "$(echo "$t" | grep "$TOOL")" ]; then
+		continue
+	fi
+	$CC -o $BIN $t/*.c $CUBEOBJ || exit 1;
+	$BIN
+	break
+done
+
+rm -rf $BIN $CUBEOBJ
-- 
cgit v1.3