tazwok view examples/config.site @ rev 259

Fix clean(): don't report fails when it's false, no more detailled output.
author Antoine Bodin <gokhlayeh@slitaz.org>
date Sat Feb 12 22:42:38 2011 +0100 (2011-02-12)
parents
children ff2492afbf1a
line source
1 # This file contains default option passed to ./configure at compile time.
2 # Variables are setted this way :
3 # { [ "$var" = NONE ] || [ ! "$var" ] ; } && var=
4 # This is because config.site overwrite options passed directly in
5 # configure, like ./configure --var=
6 #
7 # Here, we don't want overwrite default configuration : we want to
8 # setup configure with default path only if nothing has been given
9 # on the configure command-line. This allow contributors to overwrite
10 # the defaults path filled here in the recipes.
11 #
12 # Path to the config.site is given to configure using the environnment
13 # variable CONFIG_SITE
14 # tazwok does that work before executing compile rules.
15 #
16 # If you want to use you're 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 usefull if you want to share default configuration between
20 # some groups of packages like GNOME or KDE ones.
21 #
22 # To make tazwok configuration easier, we use variable from
23 # /etc/tazwok.conf here. Note that only concerns configure options :
24 # make flags (MAKEFLAGS, CFLAGS, CXXFLAGS and DESTDIR) are exported
25 # to environment variables; options setted here are thoses we can't
26 # export in environnment variables because it doesn't works.
28 # Some variable are prefixed by "${prefix}" instead of "${datarootdir}".
29 # For thoses case we use "${datadir}" because there's configure script
30 # generally don't know about "${datarootdir}" (too olds).
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 theses configure variable 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 theses 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 config.site script has been used.
63 touch /tmp/config.site