2017-07-17 16:39:10 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
set -e
|
|
|
|
set -x
|
|
|
|
|
2018-01-01 15:09:45 +00:00
|
|
|
export CC=gcc-7
|
|
|
|
export CXX=g++-7
|
2017-07-17 16:39:10 +01:00
|
|
|
export PKG_CONFIG_PATH=$HOME/.local/lib/pkgconfig:$PKG_CONFIG_PATH
|
|
|
|
|
|
|
|
mkdir build && cd build
|
|
|
|
cmake .. -DDYNARMIC_USE_SYSTEM_BOOST=0 -DBoost_INCLUDE_DIRS=${PWD}/../externals/ext-boost -DCMAKE_BUILD_TYPE=Release
|
|
|
|
make -j4
|
|
|
|
|
|
|
|
ctest -VV -C Release
|