2014-11-03 02:33:23 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2015-08-16 19:56:24 +02:00
|
|
|
set -x
|
2016-05-04 22:05:40 +02:00
|
|
|
set -e
|
2015-08-16 19:56:24 +02:00
|
|
|
|
2020-05-05 13:16:19 +02:00
|
|
|
if [ $BUILD_TYPE = "default" ]; then
|
2015-08-16 19:46:03 +02:00
|
|
|
mkdir tmp
|
|
|
|
BUILD_PREFIX=$PWD/tmp
|
|
|
|
|
2020-09-04 10:23:37 +02:00
|
|
|
source config.sh
|
|
|
|
set_config_opts
|
2018-11-09 19:54:46 +01:00
|
|
|
|
2016-05-04 22:05:40 +02:00
|
|
|
# Build and check this project
|
2015-11-25 09:17:53 +01:00
|
|
|
(
|
|
|
|
./autogen.sh &&
|
2016-02-11 21:12:10 +01:00
|
|
|
./configure "${CONFIG_OPTS[@]}" &&
|
2016-03-06 19:05:28 +01:00
|
|
|
export DISTCHECK_CONFIGURE_FLAGS="${CONFIG_OPTS[@]}" &&
|
2020-05-04 23:30:37 +02:00
|
|
|
make VERBOSE=1 -j5 ${CHECK}
|
2015-11-25 09:17:53 +01:00
|
|
|
) || exit 1
|
2014-11-03 02:33:23 +01:00
|
|
|
else
|
|
|
|
cd ./builds/${BUILD_TYPE} && ./ci_build.sh
|
|
|
|
fi
|