From 76529545d9bb22a707fc764d92f520df3f3ac6b6 Mon Sep 17 00:00:00 2001
From: Florent Hivert <Florent.Hivert@lri.fr>
Date: Tue, 12 Jun 2018 12:34:36 +0200
Subject: [PATCH] Travic check for compat with libsemigroup

---
 .travis.yml                |  7 +++++++
 ci/travis-libsemigroups.sh | 19 +++++++++++++++++++
 2 files changed, 26 insertions(+)
 create mode 100755 ci/travis-libsemigroups.sh

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
+