3 echo "Setting up for waf build"
5 echo "Looking for the buildtools directory"
8 while test \
! -d $d; do d
="../$d"; done
10 echo "Found buildtools in $d"
12 echo "Setting up configure"
14 sed "s|BUILDTOOLS|$d|g" < "$d/scripts/configure.waf" > configure
17 echo "Setting up makefile"
18 # this relies on the fact that make looks for 'makefile' before 'Makefile'
20 sed "s|BUILDTOOLS|$d|g" < "$d/scripts/Makefile.waf" > makefile
22 echo "done. Now run ./configure or ./configure.developer then make"