1 files changed, 38 insertions, 4 deletions
diff --git a/src/CI/travis/make_linux b/src/CI/travis/make_linux
index 688fabd..0e1e5c9 100755
--- a/src/CI/travis/make_linux
+++ b/src/CI/travis/make_linux
@@ -1,8 +1,42 @@
-#!/bin/sh
+#!/bin/sh -e
 
 if [ "x${COVERITY_SCAN_PROJECT_NAME}" != "x" ] ; then exit 0; fi
 
-cd $TRAVIS_BUILD_DIR/build
-cmake -DENABLE_PACKAGING=ON -DDEB_DETECT_DEPENDENCIES=ON ..
-make && make package
+. CI/travis/lib.sh
+
+handle_default() {
+	mkdir -p build
+	cd build
+	cmake -DENABLE_PACKAGING=ON -DDEB_DETECT_DEPENDENCIES=ON ..
+	make && make package
+	if [ -n "${GH_DOC_TOKEN}" ] && \
+			[ -f "./generateDocumentationAndDeploy.sh" ] ; then
+		sh generateDocumentationAndDeploy.sh
+	fi
+	cd ..
+}
+
+handle_centos() {
+	mkdir -p build
+	cd build
+	cmake -DENABLE_PACKAGING=ON ..
+	make && make package
+	cd ..
+}
+
+handle_centos_docker() {
+	run_docker_script inside_docker.sh \
+		"centos:centos${OS_VERSION}" "centos"
+}
+
+handle_ubuntu_docker() {
+	run_docker_script inside_docker.sh \
+		"ubuntu:${OS_VERSION}"
+}
+
+LIBNAME="$1"
+OS_TYPE=${2:-default}
+OS_VERSION="$3"
+
+handle_${OS_TYPE}