diff options
| -rwxr-xr-x | buildtools/scripts/configure.waf | 3 | ||||
| -rwxr-xr-x | source4/autogen-waf.sh | 22 |
2 files changed, 17 insertions, 8 deletions
diff --git a/buildtools/scripts/configure.waf b/buildtools/scripts/configure.waf index a6367e7314..79a7a35c5d 100755 --- a/buildtools/scripts/configure.waf +++ b/buildtools/scripts/configure.waf @@ -1,5 +1,6 @@ #!/bin/sh +PREVPATH=`dirname $0` WAF=BUILDTOOLS/bin/waf @@ -8,4 +9,6 @@ WAF=BUILDTOOLS/bin/waf JOBS=1 export JOBS +cd BUILDPATH $WAF configure $* +cd $PREVPATH diff --git a/source4/autogen-waf.sh b/source4/autogen-waf.sh index 9cb144afcf..a3aa979f51 100755 --- a/source4/autogen-waf.sh +++ b/source4/autogen-waf.sh @@ -1,22 +1,28 @@ #!/bin/sh +p=`dirname $0` + echo "Setting up for waf build" echo "Looking for the buildtools directory" d="buildtools" -while test \! -d $d; do d="../$d"; done +while test \! -d "$p/$d"; do d="../$d"; done -echo "Found buildtools in $d" +echo "Found buildtools in $p/$d" echo "Setting up configure" -rm -f configure -sed "s|BUILDTOOLS|$d|g" < "$d/scripts/configure.waf" > configure -chmod +x configure +rm -f $p/configure +sed "s|BUILDTOOLS|$d|g;s|BUILDPATH|$p|g" < "$p/$d/scripts/configure.waf" > $p/configure +chmod +x $p/configure echo "Setting up makefile" # this relies on the fact that make looks for 'makefile' before 'Makefile' -rm -f makefile -sed "s|BUILDTOOLS|$d|g" < "$d/scripts/Makefile.waf" > makefile +rm -f $p/makefile +sed "s|BUILDTOOLS|$d|g" < "$p/$d/scripts/Makefile.waf" > $p/makefile -echo "done. Now run ./configure or ./configure.developer then make" +echo "done. Now run $p/configure or $p/configure.developer then make." +if [ $p != "." ]; then + echo "Notice: The build invoke path is not 'source4'! Use make with the parameter" + echo "-C <'source4' path>. Example: make -C source4 all" +fi |