| #!/usr/bin/env bash |
| set -x |
| set -e |
| |
| JDIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) |
| source "$JDIR"/util.sh |
| |
| # Cleanup |
| sudo ./waf -j1 --color=yes distclean |
| |
| # Configure/build in debug mode |
| ./waf -j1 --color=yes configure --with-tests --debug |
| ./waf -j1 --color=yes build |
| |
| # Cleanup |
| sudo ./waf -j1 --color=yes distclean |
| |
| # Configure/build in optimized mode without tests |
| ./waf -j1 --color=yes configure |
| ./waf -j1 --color=yes build |
| |
| # Cleanup |
| sudo ./waf -j1 --color=yes distclean |
| |
| # Configure/build in debug mode |
| if [[ "$JOB_NAME" == *"code-coverage" ]]; then |
| COVERAGE="--with-coverage" |
| fi |
| ./waf -j1 --color=yes configure --debug --with-tests $COVERAGE |
| ./waf -j1 --color=yes build |
| |
| # (tests will be run against debug version) |
| |
| # Install |
| sudo ./waf -j1 --color=yes install |
| |
| if has Linux $NODE_LABELS; then |
| sudo ldconfig |
| elif has FreeBSD $NODE_LABELS; then |
| sudo ldconfig -a |
| fi |