blob: 9cb144afcf475025e8791c774a558503e3b2bc10 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/bin/sh
echo "Setting up for waf build"
echo "Looking for the buildtools directory"
d="buildtools"
while test \! -d $d; do d="../$d"; done
echo "Found buildtools in $d"
echo "Setting up configure"
rm -f configure
sed "s|BUILDTOOLS|$d|g" < "$d/scripts/configure.waf" > configure
chmod +x 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
echo "done. Now run ./configure or ./configure.developer then make"
|
