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"
15 rm -f $p/configure
$p/include
/config
*.h
*
16 sed "s|BUILDTOOLS|$d|g;s|BUILDPATH|$p|g" < "$p/$d/scripts/configure.waf" > $p/configure
19 echo "Setting up Makefile"
20 rm -f $p/makefile
$p/Makefile
21 sed "s|BUILDTOOLS|$d|g" < "$p/$d/scripts/Makefile.waf" > $p/Makefile
23 echo "done. Now run $p/configure or $p/configure.developer then make."
24 if [ $p != "." ]; then
25 echo "Notice: The build invoke path is not 'source4'! Use make with the parameter"
26 echo "-C <'source4' path>. Example: make -C source4 all"