3 echo "Setting up for waf build"
4 rm -f configure Makefile
5 cp configure.waf configure
7 # this relies on the fact that make looks for 'makefile' before 'Makefile'
8 cp Makefile.waf makefile
10 echo "done ... now run ./configure or ./configure.developer"