Merge pull request #4027 from diffblue/travis-to-codebuild

move two builds from Travis to codebuild

Author: forejtv

.travis.yml

@@ -144,36 +144,6 @@ jobs:
         - EXTRA_CXXFLAGS="-DDEBUG"
       script: echo "Not running any tests for a debug build."
 
-    # Ubuntu Linux with glibc using clang++-7, no-debug mode
-    - stage: Test different OS/CXX/Flags
-      os: linux
-      sudo: false
-      compiler: clang
-      cache: ccache
-      addons:
-        apt:
-          sources:
-            - ubuntu-toolchain-r-test
-            - llvm-toolchain-trusty-7
-          packages:
-            - libwww-perl
-            - g++-5
-            - clang-7
-            - libstdc++-5-dev
-            - libubsan0
-            - parallel
-            - jq
-      before_install:
-        - mkdir bin
-        - ln -s /usr/bin/gcc-5 bin/gcc
-        - ln -s /usr/bin/c++-5 bin/g++
-        - export CCACHE_CPP2=yes
-      # env: COMPILER=clang++-7 SAN_FLAGS="-fsanitize=undefined -fno-sanitize-recover=undefined,integer -fno-omit-frame-pointer"
-      env:
-        - COMPILER="ccache /usr/bin/clang++-7"
-        - EXTRA_CXXFLAGS="-Qunused-arguments -fcolor-diagnostics -DNDEBUG"
-        - CCACHE_CPP2=yes
-
     # Ubuntu Linux with glibc using clang++-7, debug mode, disable USE_DSTRING
     - stage: Test different OS/CXX/Flags
       os: linux
@@ -204,33 +174,6 @@ jobs:
         - CCACHE_CPP2=yes
       script: echo "Not running any tests for a debug build."
 
-    # cmake build using g++-5
-    - stage: Test different OS/CXX/Flags
-      os: linux
-      sudo: false
-      compiler: gcc
-      cache: ccache
-      env:
-        - BUILD_SYSTEM=cmake
-      addons:
-        apt:
-          sources:
-            - ubuntu-toolchain-r-test
-          packages:
-            - g++-5
-            - jq
-      before_install:
-        - mkdir bin
-        - ln -s /usr/bin/gcc-5 bin/gcc
-        - ln -s /usr/bin/g++-5 bin/g++
-      install:
-        - ccache -z
-        - ccache --max-size=1G
-        - cmake -H. -Bbuild '-DCMAKE_BUILD_TYPE=Release'  '-DCMAKE_CXX_COMPILER=/usr/bin/g++-5'
-        - git submodule update --init --recursive
-        - cmake --build build -- -j4
-      script: (cd build; ctest -V -L CORE -j2)
-
     # cmake build using g++-7, enable CMAKE_USE_CUDD
     - stage: Test different OS/CXX/Flags
       os: linux

buildspec-linux-clang.yml

@@ -0,0 +1,34 @@
+version: 0.2
+
+phases:
+  install:
+    commands:
+      - sed -i 's#/archive.ubuntu.com#/us-east-1.ec2.archive.ubuntu.com#g' /etc/apt/sources.list
+      - add-apt-repository ppa:ubuntu-toolchain-r/test -y
+      - apt-key adv --keyserver keyserver.ubuntu.com --recv-keys BA9EF27F
+      - add-apt-repository ppa:openjdk-r/ppa -y
+      - apt-get update -y
+      - apt-get install -y g++-5 clang-7 flex bison make git libwww-perl patch ccache libc6-dev-i386 jq
+      - apt-get install -y openjdk-8-jdk
+      - update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 1
+      - update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 1
+  build:
+    commands:
+      - echo Build started on `date`
+      - git submodule update --init --recursive
+      - make -C src CXX='ccache /usr/bin/clang++-7' CXX_FLAGS='-Qunused-arguments'
+      - make -C jbmc/src CXX='ccache /usr/bin/clang++-7' CXX_FLAGS='-Qunused-arguments'
+  post_build:
+    commands:
+      - make -C unit test CXX='ccache /usr/bin/clang++-7' CXX_FLAGS='-Qunused-arguments'
+      - make -C regression test
+      - scripts/delete_failing_smt2_solver_tests
+      - env PATH=$PATH:`pwd`/src/solvers make -C regression/cbmc test-cprover-smt2
+      - make -C jbmc/unit test CXX='ccache /usr/bin/clang++-7' CXX_FLAGS='-Qunused-arguments'
+      - make -C jbmc/regression test
+      - echo Build completed on `date`
+cache:
+  paths:
+    - '/var/cache/apt/**/*'
+    - '/var/lib/apt/lists/**/*'
+    - '/root/.ccache/**/*'

buildspec-linux-cmake-gcc.yml

@@ -0,0 +1,29 @@
+version: 0.2
+
+phases:
+  install:
+    commands:
+      - sed -i 's#/archive.ubuntu.com#/us-east-1.ec2.archive.ubuntu.com#g' /etc/apt/sources.list
+      - add-apt-repository ppa:ubuntu-toolchain-r/test -y
+      - apt-key adv --keyserver keyserver.ubuntu.com --recv-keys BA9EF27F
+      - add-apt-repository ppa:openjdk-r/ppa -y
+      - apt-get update -y
+      - apt-get install -y g++-5 flex bison make git libwww-perl patch ccache libc6-dev-i386 jq
+      - apt-get install -y openjdk-8-jdk
+      - update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 1
+      - update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 1
+  build:
+    commands:
+      - echo Build started on `date`
+      - cmake -H. -Bbuild '-DCMAKE_BUILD_TYPE=Release'  '-DCMAKE_CXX_COMPILER=/usr/bin/g++-5'
+      - git submodule update --init --recursive
+      - cmake --build build -- -j2
+  post_build:
+    commands:
+      - cd build; ctest -V -L CORE -j2
+      - echo Build completed on `date`
+cache:
+  paths:
+    - '/var/cache/apt/**/*'
+    - '/var/lib/apt/lists/**/*'
+    - '/root/.ccache/**/*'