2017-07-29 21:07:08 +02:00
|
|
|
#!/bin/bash -eu
|
2015-11-12 19:13:54 +01:00
|
|
|
|
2017-07-29 21:07:08 +02:00
|
|
|
# Make sure we are in the directory this script is in.
|
|
|
|
cd "$(dirname "$0")"
|
2015-11-12 19:13:54 +01:00
|
|
|
|
2017-07-29 21:07:08 +02:00
|
|
|
if [[ ! -d build ]]
|
2015-11-12 19:13:54 +01:00
|
|
|
then
|
|
|
|
mkdir build
|
|
|
|
cd build
|
2017-08-08 06:38:10 +02:00
|
|
|
cmake .. $*
|
2017-07-29 21:07:08 +02:00
|
|
|
cd ..
|
2015-11-12 19:13:54 +01:00
|
|
|
fi
|
|
|
|
|
2017-07-29 21:07:08 +02:00
|
|
|
make -j2 -C build
|
2017-08-08 17:50:44 +02:00
|
|
|
make test -C build
|
|
|
|
make integration -C build
|
|
|
|
|
|
|
|
echo
|
|
|
|
echo 'Everything looks good, you can install via "make install -C build".'
|
2015-11-12 19:13:54 +01:00
|
|
|
|