1 files changed, 32 insertions, 0 deletions
diff --git a/configure b/configure
new file mode 100755
index 00000000..2ff6dbff
--- /dev/null
+++ b/configure
@@ -0,0 +1,32 @@
+#! /bin/sh
+#
+# configure -- produce a config.h from a known configuration
+
+case "$#" in
+1)	;;
+*)	echo "Usage:  $0 system_type" >&2
+	echo "Known systems:  `cd config; echo ;ls -C`" >&2
+	exit 2
+	;;
+esac
+
+if [ -f config/$1 ]; then
+	sh ./mungeconf config/$1 config.h-dist >config.h
+
+	# echo #echo lines to stdout
+	sed -n '/^#echo /s///p' config/$1
+
+	sed -n '/^MAKE_.*/s//s,^##&## ,,/p' config/$1 >sedscr
+	if [ -s sedscr ]
+	then
+		sed -f sedscr Makefile-dist >Makefile
+	else
+		cp Makefile-dist Makefile
+	fi
+	rm -f sedscr
+else
+	echo "\`$1' is not a known configuration."
+	echo "Either construct one based on the examples in the config directory,"
+	echo "or copy config.h-dist to config.h and edit it."
+	exit 1
+fi