| if [[ -z $DISABLE_ASAN ]]; then |
| ASAN="--with-sanitizer=address" |
| if [[ $JOB_NAME == *"code-coverage" ]]; then |
| COVERAGE="--with-coverage" |
| if [[ -n $DISABLE_PCH ]]; then |
| if [[ $JOB_NAME != *"code-coverage" && $JOB_NAME != *"limited-build" ]]; then |
| # Build in release mode with tests and without precompiled headers |
| ./waf --color=yes configure --with-tests --without-pch |
| ./waf --color=yes distclean |
| # Build in release mode without tests, but with "other tests" |
| ./waf --color=yes configure --with-other-tests $PCH |
| ./waf --color=yes distclean |
| # Build in debug mode with tests |
| ./waf --color=yes configure --debug --with-tests $ASAN $COVERAGE $PCH |
| # (tests will be run against the debug version) |
| sudo ./waf --color=yes install |