5 echo "Setting up for waf build"
7 echo "Looking for the buildtools directory"
10 while test \
! -d "$p/$d"; do d
="../$d"; done
12 echo "Found buildtools in $p/$d"
14 echo "Setting up configure"
16 sed "s|BUILDTOOLS|$d|g;s|BUILDPATH|$p|g" < "$p/$d/scripts/configure.waf" > $p/configure
19 echo "Setting up makefile"
20 # this relies on the fact that make looks for 'makefile' before 'Makefile'
22 sed "s|BUILDTOOLS|$d|g" < "$p/$d/scripts/Makefile.waf" > $p/makefile
24 echo "done. Now run $p/configure or $p/configure.developer then make."
25 if [ $p != "." ]; then
26 echo "Notice: The build invoke path is not 'source4'! Use make with the parameter"
27 echo "-C <'source4' path>. Example: make -C source4 all"