diff options
Diffstat (limited to 'apps/codecs/dumb/make/config.sh')
-rwxr-xr-x | apps/codecs/dumb/make/config.sh | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/apps/codecs/dumb/make/config.sh b/apps/codecs/dumb/make/config.sh new file mode 100755 index 0000000000..f42e141176 --- /dev/null +++ b/apps/codecs/dumb/make/config.sh | |||
@@ -0,0 +1,35 @@ | |||
1 | #!/bin/sh | ||
2 | |||
3 | # This file does an interactive configuration for users of Unix-like systems. | ||
4 | # It creates a config.txt file for inclusion in the Makefile. This script | ||
5 | # should be run indirectly through the 'make config' target (or the 'make' | ||
6 | # target the first time). | ||
7 | |||
8 | if [ ! -e make/dumbask ]; then | ||
9 | echo "You should not be running this directly! Use 'make' or 'make config'." | ||
10 | exit | ||
11 | fi | ||
12 | |||
13 | echo 'include make/unix.inc' > make/config.tmp | ||
14 | |||
15 | echo 'ALL_TARGETS := core core-examples core-headers' >> make/config.tmp | ||
16 | |||
17 | if make/dumbask 'Would you like support for Allegro (Y/N)? ' YN; then | ||
18 | echo 'ALL_TARGETS += allegro allegro-examples allegro-headers' >> make/config.tmp | ||
19 | fi | ||
20 | |||
21 | |||
22 | if [ ! -z $DEFAULT_PREFIX ]; then | ||
23 | echo "Please specify an installation prefix (default $DEFAULT_PREFIX)." | ||
24 | echo -n '> ' | ||
25 | read PREFIX | ||
26 | if [ -z $PREFIX ]; then PREFIX=$DEFAULT_PREFIX; fi | ||
27 | echo "PREFIX := $PREFIX" >> make/config.tmp | ||
28 | fi | ||
29 | |||
30 | mv -f make/config.tmp make/config.txt | ||
31 | |||
32 | echo 'Configuration complete.' | ||
33 | echo "Run 'make config' to change it in the future." | ||
34 | echo -n 'Press Enter to continue ... ' | ||
35 | read | ||