tazwok view examples/config.site @ rev 429
Edit examples
| author | Paul Issott <paul@slitaz.org> |
|---|---|
| date | Mon Mar 07 08:02:53 2011 +0000 (2011-03-07) |
| parents | 919becf8fe71 |
| children | cdab17eb0dc9 44e24b12e9dd |
line source
1 # This file contains default options passed to ./configure at compile time.
2 # Variables are set this way :
3 # { [ "$var" = NONE ] || [ ! "$var" ] ; } && var=
4 # This is because config.site overwrites options passed directly in
5 # configure, like ./configure --var=
6 #
7 # Here, we don't want to overwrite the default configuration : we want to
8 # setup configure with a default path only if nothing has been given
9 # on the configure command-line. This allow contributors to overwrite
10 # the default paths filled here by the recipes.
11 #
12 # Path to the config.site is given to configure using the environment
13 # variable CONFIG_SITE
14 # tazwok does that work before executing compile rules.
15 #
16 # If you want to use your own config.site, you can use :
17 # export CONFIG_SITE=path_to_my_config.site
18 # in the compilation_rules of a receipt.
19 # It can be useful if you want to share a default configuration between
20 # some groups of packages like GNOME or KDE ones.
21 #
22 # To make tazwok configuration easier, we use variables from
23 # /etc/tazwok.conf here. Note this only concerns configure options :
24 # make flags (MAKEFLAGS, CFLAGS, CXXFLAGS and DESTDIR) are exported
25 # to environment variables; options set here are those we can't
26 # export environnment variables to because they don't work.
28 # Some variable are prefixed by "${prefix}" instead of "${datarootdir}".
29 # For those cases we use "${datadir}" because the configure script
30 # generally doesn't know about "${datarootdir}" (too old).
31 if echo "$localedir" | grep -q \${prefix}; then
32 localedir=$( echo "$localedir" | sed 's/${prefix}/${datarootdir}/')
33 fi
34 if echo "$infodir" | grep -q \${prefix}; then
35 infodir=$( echo "$infodir" | sed 's/${prefix}/${datarootdir}/')
36 fi
37 if echo "$mandir" | grep -q \${prefix}; then
38 mandir=$( echo "$mandir" | sed 's/${prefix}/${datarootdir}/')
39 fi
41 # Use default values if one of these configure variables is not set.
42 { [ "$prefix" = NONE ] || [ ! "$prefix" ] ; } && prefix=$default_prefix
43 { [ "$datarootdir" = NONE ] || [ ! "$datarootdir" ] ; } && datarootdir=$default_datarootdir
44 { [ "$datadir" = NONE ] || [ ! "$datadir" ] ; } && datadir=$datarootdir
45 { [ "$localedir" = NONE ] || [ ! "$localedir" ] ; } && localedir=$default_localedir
46 { [ "$infodir" = NONE ] || [ ! "$infodir" ] ; } && infodir=$default_infodir
47 { [ "$mandir" = NONE ] || [ ! "$mandir" ] ; } && mandir=$default_mandir
48 { [ "$build" = NONE ] || [ ! "$build" ] ; } && build=$default_build
49 { [ "$host" = NONE ] || [ ! "$host" ] ; } && host=$default_host
51 # Print information about these variables.
52 echo "prefix = $prefix
53 datarootdir = $datarootdir
54 datadir = $datadir
55 localedir= $localedir
56 infodir = $infodir
57 mandir = $mandir
58 build = $build
59 host = $host
60 "
62 # config.site is used by tazwok to check that the config.site script has been used.
63 touch /tmp/config.site