diff options
author | Alexey Yakovenko <wakeroid@gmail.com> | 2010-04-11 15:01:21 +0200 |
---|---|---|
committer | Alexey Yakovenko <wakeroid@gmail.com> | 2010-04-11 15:01:21 +0200 |
commit | e763dfa3ddf5c499875a6e1e9ec91d7fc154c076 (patch) | |
tree | 8fddc5ecbb1d867afa4690cfdde245929cafb21c /plugins/dumb/dumb-kode54/make/config.sh | |
parent | dc0b9121ff16d57f92f4ab2b16bf78518d3a8b9b (diff) |
moved DUMB to dynamic plugin
Diffstat (limited to 'plugins/dumb/dumb-kode54/make/config.sh')
-rw-r--r-- | plugins/dumb/dumb-kode54/make/config.sh | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/plugins/dumb/dumb-kode54/make/config.sh b/plugins/dumb/dumb-kode54/make/config.sh new file mode 100644 index 00000000..923b3ccc --- /dev/null +++ b/plugins/dumb/dumb-kode54/make/config.sh @@ -0,0 +1,35 @@ +#!/bin/sh
+
+# This file does an interactive configuration for users of Unix-like systems.
+# It creates a config.txt file for inclusion in the Makefile. This script
+# should be run indirectly through the 'make config' target (or the 'make'
+# target the first time).
+
+if [ ! -e make/dumbask ]; then
+ echo "You should not be running this directly! Use 'make' or 'make config'."
+ exit
+fi
+
+echo 'include make/unix.inc' > make/config.tmp
+
+echo 'ALL_TARGETS := core core-examples core-headers' >> make/config.tmp
+
+if make/dumbask 'Would you like support for Allegro (Y/N)? ' YN; then
+ echo 'ALL_TARGETS += allegro allegro-examples allegro-headers' >> make/config.tmp
+fi
+
+
+if [ ! -z $DEFAULT_PREFIX ]; then
+echo "Please specify an installation prefix (default $DEFAULT_PREFIX)."
+echo -n '> '
+read PREFIX
+if [ -z $PREFIX ]; then PREFIX=$DEFAULT_PREFIX; fi
+echo "PREFIX := $PREFIX" >> make/config.tmp
+fi
+
+mv -f make/config.tmp make/config.txt
+
+echo 'Configuration complete.'
+echo "Run 'make config' to change it in the future."
+echo -n 'Press Enter to continue ... '
+read dummy
|