1 files changed, 7 insertions, 0 deletions
diff --git a/configure.gnu b/configure.gnu
new file mode 100755
index 0000000..925dc44
--- /dev/null
+++ b/configure.gnu
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+par="--without-arts"
+
+echo "*** Doing configure $* $par ..."
+
+./configure $* $par
+\ No newline at end of file