From 93260168ed02de2eebd456e345c25f9066bb3a2c Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Sat, 4 Nov 2023 11:06:12 +0100
Subject: Makefile changes

---
 configure.sh | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100755 configure.sh

(limited to 'configure.sh')

diff --git a/configure.sh b/configure.sh
deleted file mode 100755
index 17673fc..0000000
--- a/configure.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/sh
-
-CFLAGS="-std=c99 -pthread -pedantic -Wall -Wextra -Wno-unused-parameter -O3"
-DBGFLAGS="-DDEBUG -std=c99 -pthread -pedantic -Wall -Wextra -Wno-unused-parameter -Wno-unused-function -g3 -fsanitize=address -fsanitize=undefined"
-
-if [ "$TYPE" = "AVX2" ]; then
-	CFLAGS="$CFLAGS -mavx2"
-	DBGFLAGS="$DBGFLAGS -mavx2"
-fi
-
-{
-echo "CUBETYPE = CUBE_$TYPE";
-echo "";
-echo "CFLAGS = $CFLAGS";
-echo "DBGFLAGS = $DBGFLAGS";
-echo "";
-echo "CC = cc"
-} > config.mk
-- 
cgit v1.3