|
|
|
@ -75,6 +75,7 @@ matrix:
|
|
|
|
- ENABLE_RUST="yes"
|
|
|
|
- ENABLE_RUST="yes"
|
|
|
|
- RUST_VERSION="1.15.0"
|
|
|
|
- RUST_VERSION="1.15.0"
|
|
|
|
- ARGS="--enable-rust --enable-rust-strict"
|
|
|
|
- ARGS="--enable-rust --enable-rust-strict"
|
|
|
|
|
|
|
|
- DO_DISTCHECK="yes"
|
|
|
|
# Linux, gcc, -DNDEBUG.
|
|
|
|
# Linux, gcc, -DNDEBUG.
|
|
|
|
- os: linux
|
|
|
|
- os: linux
|
|
|
|
compiler: gcc
|
|
|
|
compiler: gcc
|
|
|
|
@ -154,6 +155,10 @@ script:
|
|
|
|
else
|
|
|
|
else
|
|
|
|
make ${j} check
|
|
|
|
make ${j} check
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
- |
|
|
|
|
|
|
|
|
if [[ "$DO_DISTCHECK" == "yes" ]]; then
|
|
|
|
|
|
|
|
make distcheck DISTCHECK_CONFIGURE_FLAGS="${ARGS}"
|
|
|
|
|
|
|
|
fi
|
|
|
|
- |
|
|
|
|
- |
|
|
|
|
if [[ "$DO_CHECK_SETUP_SCRIPTS" == "yes" ]]; then
|
|
|
|
if [[ "$DO_CHECK_SETUP_SCRIPTS" == "yes" ]]; then
|
|
|
|
(cd scripts && ./check-setup.sh)
|
|
|
|
(cd scripts && ./check-setup.sh)
|
|
|
|
|