diff options
Diffstat (limited to 'CI/travis/make_linux')
| -rwxr-xr-x | CI/travis/make_linux | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/CI/travis/make_linux b/CI/travis/make_linux deleted file mode 100755 index 0e1e5c9..0000000 --- a/CI/travis/make_linux +++ /dev/null @@ -1,42 +0,0 @@ -#!/bin/sh -e - -if [ "x${COVERITY_SCAN_PROJECT_NAME}" != "x" ] ; then exit 0; fi - -. 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} - |