when typing make under tmp, configure options used to be set at "build" command line...
authorGengbin Zheng <gzheng@illinois.edu>
Tue, 13 Apr 2010 21:31:36 +0000 (16:31 -0500)
committerGengbin Zheng <gzheng@illinois.edu>
Tue, 13 Apr 2010 21:31:36 +0000 (16:31 -0500)
According to the manual, ./config.status --config
is supposed to return the original configure command line options, however, it does not seem to work (may requires newer version of autoconf).
So right now, the configure options have to be stored in a file config_opts.sh, and is loaded when running configure in Makefile.

build
src/scripts/Makefile

diff --git a/build b/build
index b7564cb0b2388a2ec20f1412dcc541ef36544284..dd5877a2f4de62f81d43a83a4fab67b12795a419 100755 (executable)
--- a/build
+++ b/build
@@ -604,7 +604,9 @@ echo 'BUILDOPTS="'$OPTS'"'  >> $ConvSh
 
 Echo "Performing '$MAKE $MAKEOPTS basics OPTS="$OPTS" QUIET="$QUIET" CONFIG_OPTS="$CONFIG_OPTS"' in $DESTINATION/tmp"
 cd $DESTINATION/tmp 
-$MAKE $MAKEOPTS basics OPTS="$OPTS $BUILD_SHARED" QUIET="$QUIET" CONFIG_OPTS="$CONFIG_OPTS"
+echo "CONFIG_OPTS=\"$CONFIG_OPTS\"" > config_opts.sh
+chmod +x config_opts.sh
+$MAKE $MAKEOPTS basics OPTS="$OPTS $BUILD_SHARED" QUIET="$QUIET"
 MAKEEXIT=$?
 [ $MAKEEXIT -ne 0 ] && printError
 
index 1d931f105e5ef255510489231c2dc806626761a4..f358904acb96b9532293c5baeb61705326423331 100644 (file)
@@ -257,7 +257,8 @@ headers: dirs+sources
        $(MAKE) headerlinks
 
 conv-autoconfig.h: configure
-       ./configure $(QUIET) $(CONFIG_OPTS)
+       @. ./config_opts.sh; echo ./configure $(QUIET) $$CONFIG_OPTS;  \
+       ./configure $(QUIET) $$CONFIG_OPTS
 
 headerlinks: dirs+sources Makefile $(ALLHEADERS)
        @[ "x$QUIET" = "x--quiet" ] || echo "Soft-linking headers..."