| #!/bin/bash |
| |
| set -e |
| |
| if [[ $ENABLE_SANITIZERS ]]; then |
| LOCAL_CMAKE_EXTRA_ARGS="-DCMAKE_C_FLAGS=-fsanitize=$ENABLE_SANITIZERS" |
| LOCAL_MAKE_EXTRA_ARGS="CFLAGS=-fsanitize=$ENABLE_SANITIZERS LDFLAGS=-fsanitize=$ENABLE_SANITIZERS" |
| fi |
| |
| if [[ $USE_CMAKE ]]; then |
| echo "$0: using cmake + make:" $LOCAL_CMAKE_EXTRA_ARGS $EXTRA_ARGS |
| mkdir build-cmake |
| cd build-cmake |
| cmake $LOCAL_CMAKE_EXTRA_ARGS $EXTRA_ARGS .. |
| make |
| [[ $DISABLE_TESTS ]] || make test |
| make clean |
| fi |
| |
| if [[ $USE_CONFIGURE ]]; then |
| mkdir build-configure |
| cd build-configure |
| echo "$0: using configure + make:" $LOCAL_MAKE_EXTRA_ARGS $EXTRA_ARGS |
| ../configure $LOCAL_MAKE_EXTRA_ARGS $EXTRA_ARGS |
| make |
| [[ $DISABLE_TESTS ]] || make test |
| make clean |
| make distclean |
| fi |
| |
| if [[ $USE_LEGACY_MAKEFILES ]]; then |
| echo "$0: using scripts/makefile.$CC:" $LOCAL_MAKE_EXTRA_ARGS $EXTRA_ARGS |
| make -f scripts/makefile.$CC $LOCAL_MAKE_EXTRA_ARGS $EXTRA_ARGS |
| [[ $DISABLE_TESTS ]] || make -f scripts/makefile.$CC $LOCAL_MAKE_EXTRA_ARGS $EXTRA_ARGS test |
| make -f scripts/makefile.$CC $LOCAL_MAKE_EXTRA_ARGS $EXTRA_ARGS clean |
| # TODO: use scripts/makefile.std, etc. |
| fi |