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