diff --git a/.travis.yml b/.travis.yml index 9e9cfe5d..265bab18 100644 --- a/.travis.yml +++ b/.travis.yml @@ -31,6 +31,13 @@ matrix: packages: - clang-5.0 - libboost1.55-all-dev + - env: TEST_SUITE=libsemigroups + addons: + apt: + sources: + - ubuntu-toolchain-r-test + packages: + - libboost1.55-all-dev before_install: - eval "${MATRIX_EVAL}" - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo add-apt-repository ppa:dns/gnu -y; fi diff --git a/ci/travis-libsemigroups.sh b/ci/travis-libsemigroups.sh new file mode 100755 index 00000000..e82ef778 --- /dev/null +++ b/ci/travis-libsemigroups.sh @@ -0,0 +1,19 @@ +#!/bin/bash +set -e + +echo "CMake version:" +cmake --version +echo "g++ version:" +$CXX --version +echo "gcc version:" +$CC --version + +cd .. +git clone -b argcheck --depth=1 https://github.com/james-d-mitchell/libsemigroups.git +cd libsemigroups +mv ../HPCombi extern +echo "0.0.2" > extern/HPCombi/VERSION +./autogen.sh +./configure +make check -j2 +