diff options
| -rw-r--r-- | build_custom_waf.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build_custom_waf.sh b/build_custom_waf.sh new file mode 100644 index 0000000..4cac451 --- /dev/null +++ b/build_custom_waf.sh @@ -0,0 +1,5 @@ +#!/bin/sh +# Run this script from the waf source directory to build a custom waf script +# which includes autowaf (and the other listed tools) + +./waf-light -v --make-waf --tools=doxygen,swig,gnu_dirs,/path/to/autowaf/autowaf.py --prelude=''
\ No newline at end of file |