3
# configure -- produce a config.h from a known configuration
7
*) echo "Usage: $0 system_type" >&2
8
echo "Known systems: `cd config; echo ;ls -C`" >&2
13
if [ -f config/$1 ]; then
14
sh ./mungeconf config/$1 config.h-dist >config.h
16
# echo #echo lines to stdout
17
sed -n '/^#echo /s///p' config/$1
19
sed -n '/^MAKE_.*/s//s,^##&## ,,/p' config/$1 >sedscr
22
sed -f sedscr Makefile-dist >Makefile
24
cp Makefile-dist Makefile
28
echo "\`$1' is not a known configuration."
29
echo "Either construct one based on the examples in the config directory,"
30
echo "or copy config.h-dist to config.h and edit it."