| 83 |
83 |
| 84 # help text |
84 # help text |
| 85 printhelp() |
85 printhelp() |
| 86 { |
86 { |
| 87 echo "Usage: $0 [OPTIONS]..." |
87 echo "Usage: $0 [OPTIONS]..." |
| 88 cat << __EOF__ |
88 echo 'Configuration:' |
| 89 Installation directories: |
89 if true \ |
| 90 --prefix=PREFIX path prefix for architecture-independent files |
90 ; then |
| 91 [$prefix] |
91 : |
| 92 --exec-prefix=EPREFIX path prefix for architecture-dependent files |
92 if test -z "$prefix__described__"; then |
| 93 [PREFIX] |
93 prefix__described__=1 |
| 94 |
94 cat << '__EOF__' |
| 95 --bindir=DIR user executables [EPREFIX/bin] |
95 --prefix path prefix for architecture-independent files [/usr] |
| 96 --sbindir=DIR system admin executables [EPREFIX/sbin] |
96 __EOF__ |
| 97 --libexecdir=DIR program executables [EPREFIX/libexec] |
97 fi |
| 98 --sysconfdir=DIR system configuration files [PREFIX/etc] |
98 if test -z "$exec_prefix__described__"; then |
| 99 --sharedstatedir=DIR modifiable architecture-independent data [PREFIX/com] |
99 exec_prefix__described__=1 |
| 100 --localstatedir=DIR modifiable single-machine data [PREFIX/var] |
100 cat << '__EOF__' |
| 101 --runstatedir=DIR run-time variable data [LOCALSTATEDIR/run] |
101 --exec-prefix path prefix for architecture-dependent files [PREFIX] |
| 102 --libdir=DIR object code libraries [EPREFIX/lib] |
102 __EOF__ |
| 103 --includedir=DIR C header files [PREFIX/include] |
103 fi |
| 104 --datarootdir=DIR read-only arch.-independent data root [PREFIX/share] |
104 if test -z "$libdir__described__"; then |
| 105 --datadir=DIR read-only architecture-independent data [DATAROOTDIR] |
105 libdir__described__=1 |
| 106 --infodir=DIR info documentation [DATAROOTDIR/info] |
106 cat << '__EOF__' |
| 107 --mandir=DIR man documentation [DATAROOTDIR/man] |
107 --libdir object code libraries [EPREFIX/lib] |
| 108 --localedir=DIR locale-dependent data [DATAROOTDIR/locale] |
108 __EOF__ |
| |
109 fi |
| |
110 fi |
| |
111 if true \ |
| |
112 && notisplatform "mingw" \ |
| |
113 ; then |
| |
114 : |
| |
115 fi |
| |
116 if true \ |
| |
117 && isplatform "mingw" \ |
| |
118 ; then |
| |
119 : |
| |
120 fi |
| |
121 cat << '__EOF__' |
| 109 |
122 |
| 110 Build Types: |
123 Build Types: |
| 111 --debug add extra compile flags for debug builds |
124 --debug add extra compile flags for debug builds |
| 112 --release add extra compile flags for release builds |
125 --release add extra compile flags for release builds |
| 113 |
126 |
| 114 Optional Features: |
127 Optional Features: |
| 115 --disable-pg |
128 --disable-pg |
| 116 |
129 |
| 117 __EOF__ |
130 __EOF__ |
| |
131 abort_configure |
| 118 } |
132 } |
| 119 |
133 |
| 120 # create temporary directory |
134 # create temporary directory |
| 121 TEMP_DIR=".tmp-`uname -n`" |
135 TEMP_DIR=".tmp-`uname -n`" |
| 122 rm -Rf "$TEMP_DIR" |
136 rm -Rf "$TEMP_DIR" |
| 128 exit 1 |
142 exit 1 |
| 129 fi |
143 fi |
| 130 touch "$TEMP_DIR/options" |
144 touch "$TEMP_DIR/options" |
| 131 touch "$TEMP_DIR/features" |
145 touch "$TEMP_DIR/features" |
| 132 |
146 |
| 133 # define standard variables |
147 # config variables |
| 134 # also define standard prefix (this is where we will search for config.site) |
148 if true \ |
| 135 prefix=/usr |
149 ; then |
| 136 exec_prefix= |
150 : |
| 137 bindir= |
151 if test -z "$prefix__initialized__"; then |
| 138 sbindir= |
152 prefix__initialized__=1 |
| 139 libdir= |
153 prefix="/usr" |
| 140 libexecdir= |
154 fi |
| 141 datarootdir= |
155 if test -z "$exec_prefix__initialized__"; then |
| 142 datadir= |
156 exec_prefix__initialized__=1 |
| 143 sysconfdir= |
157 exec_prefix="" |
| 144 sharedstatedir= |
158 fi |
| 145 localstatedir= |
159 if test -z "$libdir__initialized__"; then |
| 146 runstatedir= |
160 libdir__initialized__=1 |
| 147 includedir= |
161 libdir="" |
| 148 infodir= |
162 fi |
| 149 localedir= |
163 fi |
| 150 mandir= |
|
| 151 |
|
| 152 # custom variables |
|
| 153 if true \ |
164 if true \ |
| 154 && notisplatform "mingw" \ |
165 && notisplatform "mingw" \ |
| 155 ; then |
166 ; then |
| 156 PWD="pwd" |
167 : |
| 157 fi |
168 fi |
| 158 if true \ |
169 if true \ |
| 159 && isplatform "mingw" \ |
170 && isplatform "mingw" \ |
| 160 ; then |
171 ; then |
| 161 PWD="pwd -W" |
172 : |
| 162 fi |
|
| 163 if true \ |
|
| 164 ; then |
|
| 165 HOST=`uname -n` |
|
| 166 fi |
173 fi |
| 167 |
174 |
| 168 # features |
175 # features |
| 169 FEATURE_PG=auto |
176 FEATURE_PG=auto |
| 170 |
177 |
| 173 # |
180 # |
| 174 BUILD_TYPE="default" |
181 BUILD_TYPE="default" |
| 175 for ARG in "$@" |
182 for ARG in "$@" |
| 176 do |
183 do |
| 177 case "$ARG" in |
184 case "$ARG" in |
| 178 "--prefix="*) prefix=${ARG#--prefix=} ;; |
185 "--prefix="*) prefix=${ARG#--prefix=} ;; |
| 179 "--exec-prefix="*) exec_prefix=${ARG#--exec-prefix=} ;; |
186 "--exec-prefix="*) exec_prefix=${ARG#--exec-prefix=} ;; |
| 180 "--bindir="*) bindir=${ARG#----bindir=} ;; |
187 "--libdir="*) libdir=${ARG#--libdir=} ;; |
| 181 "--sbindir="*) sbindir=${ARG#--sbindir=} ;; |
188 "--help"*) printhelp ;; |
| 182 "--libdir="*) libdir=${ARG#--libdir=} ;; |
189 "--debug") BUILD_TYPE="debug" ;; |
| 183 "--libexecdir="*) libexecdir=${ARG#--libexecdir=} ;; |
190 "--release") BUILD_TYPE="release" ;; |
| 184 "--datarootdir="*) datarootdir=${ARG#--datarootdir=} ;; |
|
| 185 "--datadir="*) datadir=${ARG#--datadir=} ;; |
|
| 186 "--sysconfdir="*) sysconfdir=${ARG#--sysconfdir=} ;; |
|
| 187 "--sharedstatedir="*) sharedstatedir=${ARG#--sharedstatedir=} ;; |
|
| 188 "--localstatedir="*) localstatedir=${ARG#--localstatedir=} ;; |
|
| 189 "--runstatedir="*) runstatedir=${ARG#--runstatedir=} ;; |
|
| 190 "--includedir="*) includedir=${ARG#--includedir=} ;; |
|
| 191 "--infodir="*) infodir=${ARG#--infodir=} ;; |
|
| 192 "--mandir"*) mandir=${ARG#--mandir} ;; |
|
| 193 "--localedir"*) localedir=${ARG#--localedir} ;; |
|
| 194 "--help"*) printhelp; abort_configure ;; |
|
| 195 "--debug") BUILD_TYPE="debug" ;; |
|
| 196 "--release") BUILD_TYPE="release" ;; |
|
| 197 "--enable-pg") FEATURE_PG=on ;; |
191 "--enable-pg") FEATURE_PG=on ;; |
| 198 "--disable-pg") unset FEATURE_PG ;; |
192 "--disable-pg") unset FEATURE_PG ;; |
| 199 "-"*) echo "unknown option: $ARG"; abort_configure ;; |
193 "-"*) echo "unknown option: $ARG"; abort_configure ;; |
| 200 esac |
194 esac |
| 201 done |
195 done |
| 235 : ${includedir:='${prefix}/include'} |
229 : ${includedir:='${prefix}/include'} |
| 236 : ${infodir:='${datarootdir}/info'} |
230 : ${infodir:='${datarootdir}/info'} |
| 237 : ${mandir:='${datarootdir}/man'} |
231 : ${mandir:='${datarootdir}/man'} |
| 238 : ${localedir:='${datarootdir}/locale'} |
232 : ${localedir:='${datarootdir}/locale'} |
| 239 |
233 |
| 240 # remember the above values and compare them later |
|
| 241 orig_bindir="$bindir" |
|
| 242 orig_sbindir="$sbindir" |
|
| 243 orig_libdir="$libdir" |
|
| 244 orig_libexecdir="$libexecdir" |
|
| 245 orig_datarootdir="$datarootdir" |
|
| 246 orig_datadir="$datadir" |
|
| 247 orig_sysconfdir="$sysconfdir" |
|
| 248 orig_sharedstatedir="$sharedstatedir" |
|
| 249 orig_localstatedir="$localstatedir" |
|
| 250 orig_runstatedir="$runstatedir" |
|
| 251 orig_includedir="$includedir" |
|
| 252 orig_infodir="$infodir" |
|
| 253 orig_mandir="$mandir" |
|
| 254 orig_localedir="$localedir" |
|
| 255 |
|
| 256 # check if a config.site exists and load it |
234 # check if a config.site exists and load it |
| 257 if [ -n "$CONFIG_SITE" ]; then |
235 if [ -n "$CONFIG_SITE" ]; then |
| 258 # CONFIG_SITE may contain space separated file names |
236 # CONFIG_SITE may contain space separated file names |
| 259 for cs in $CONFIG_SITE; do |
237 for cs in $CONFIG_SITE; do |
| 260 printf "loading defaults from $cs... " |
238 printf "loading defaults from $cs... " |
| 296 |
274 |
| 297 # generate vars.mk |
275 # generate vars.mk |
| 298 cat > "$TEMP_DIR/vars.mk" << __EOF__ |
276 cat > "$TEMP_DIR/vars.mk" << __EOF__ |
| 299 prefix=$prefix |
277 prefix=$prefix |
| 300 exec_prefix=$exec_prefix |
278 exec_prefix=$exec_prefix |
| 301 bindir=$bindir |
|
| 302 sbindir=$sbindir |
|
| 303 libdir=$libdir |
279 libdir=$libdir |
| 304 libexecdir=$libexecdir |
280 HOST=$HOST |
| 305 datarootdir=$datarootdir |
|
| 306 datadir=$datadir |
|
| 307 sysconfdir=$sysconfdir |
|
| 308 sharedstatedir=$sharedstatedir |
|
| 309 localstatedir=$localstatedir |
|
| 310 runstatedir=$runstatedir |
|
| 311 includedir=$includedir |
|
| 312 infodir=$infodir |
|
| 313 mandir=$mandir |
|
| 314 localedir=$localedir |
|
| 315 __EOF__ |
281 __EOF__ |
| 316 |
282 |
| 317 # toolchain detection utilities |
283 # toolchain detection utilities |
| 318 . make/toolchain.sh |
284 . make/toolchain.sh |
| 319 |
285 |
| 694 fi |
660 fi |
| 695 if [ -n "$TOOLCHAIN_CSTD" ]; then |
661 if [ -n "$TOOLCHAIN_CSTD" ]; then |
| 696 echo " default C std: $TOOLCHAIN_CSTD" |
662 echo " default C std: $TOOLCHAIN_CSTD" |
| 697 fi |
663 fi |
| 698 echo |
664 echo |
| 699 echo "Build Config:" |
665 echo "Config:" |
| 700 echo " prefix: $prefix" |
666 printf ' %-16s' 'prefix:' |
| 701 echo " exec_prefix: $exec_prefix" |
667 echo "$prefix" |
| 702 if [ "$orig_bindir" != "$bindir" ]; then |
668 printf ' %-16s' 'exec-prefix:' |
| 703 echo " bindir: $bindir" |
669 echo "$exec_prefix" |
| 704 fi |
670 printf ' %-16s' 'libdir:' |
| 705 if [ "$orig_sbindir" != "$sbindir" ]; then |
671 echo "$libdir" |
| 706 echo " sbindir: $sbindir" |
|
| 707 fi |
|
| 708 if [ "$orig_libdir" != "$libdir" ]; then |
|
| 709 echo " libdir: $libdir" |
|
| 710 fi |
|
| 711 if [ "$orig_libexecdir" != "$libexecdir" ]; then |
|
| 712 echo " libexecdir: $libexecdir" |
|
| 713 fi |
|
| 714 if [ "$orig_datarootdir" != "$datarootdir" ]; then |
|
| 715 echo " datarootdir: $datarootdir" |
|
| 716 fi |
|
| 717 if [ "$orig_datadir" != "$datadir" ]; then |
|
| 718 echo " datadir: $datadir" |
|
| 719 fi |
|
| 720 if [ "$orig_sysconfdir" != "$sysconfdir" ]; then |
|
| 721 echo " sysconfdir: $sysconfdir" |
|
| 722 fi |
|
| 723 if [ "$orig_sharedstatedir" != "$sharedstatedir" ]; then |
|
| 724 echo " sharedstatedir: $sharedstatedir" |
|
| 725 fi |
|
| 726 if [ "$orig_localstatedir" != "$localstatedir" ]; then |
|
| 727 echo " localstatedir: $localstatedir" |
|
| 728 fi |
|
| 729 if [ "$orig_runstatedir" != "$runstatedir" ]; then |
|
| 730 echo " runstatedir: $runstatedir" |
|
| 731 fi |
|
| 732 if [ "$orig_includedir" != "$includedir" ]; then |
|
| 733 echo " includedir: $includedir" |
|
| 734 fi |
|
| 735 if [ "$orig_infodir" != "$infodir" ]; then |
|
| 736 echo " infodir: $infodir" |
|
| 737 fi |
|
| 738 if [ "$orig_mandir" != "$mandir" ]; then |
|
| 739 echo " mandir: $mandir" |
|
| 740 fi |
|
| 741 if [ "$orig_localedir" != "$localedir" ]; then |
|
| 742 echo " localedir: $localedir" |
|
| 743 fi |
|
| 744 echo |
672 echo |
| 745 echo "Features:" |
673 echo "Features:" |
| |
674 printf ' %-16s' 'pg:' |
| 746 if [ -n "$FEATURE_PG" ]; then |
675 if [ -n "$FEATURE_PG" ]; then |
| 747 echo " pg: on" |
676 echo 'on' |
| 748 else |
677 else |
| 749 echo " pg: off" |
678 echo 'off' |
| 750 fi |
679 fi |
| 751 echo |
680 echo |
| 752 |
681 |
| 753 # generate the config.mk file |
682 # generate the config.mk file |
| 754 pwd=`pwd` |
683 pwd=`pwd` |