diffblue-cbmc/buildspec.yml

version: 0.2

phases:
  install:
    commands:
      - echo "deb http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu trusty main" > /etc/apt/sources.list.d/toolchain.list
      - apt-key adv --keyserver keyserver.ubuntu.com --recv-keys BA9EF27F
      - apt-get update -y
      - apt-get install -y g++-5 flex bison make git libwww-perl patch ccache libc6-dev-i386
      - apt-get install -y openjdk-7-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`
      - make -C jbmc/src java-models-library-download
      - (cd src ; make minisat2-download)
      - (cd src ; make CXX="ccache g++" -j2)
      - (cd regression ; make test)
  post_build:
    commands:
      - echo Build completed on `date`
artifacts:
  files:
cache:
  paths:
    - '/root/.ccache/**/*'
first attempt to use AWS Codebuild 2018-03-03 06:16:01 +08:00			`version: 0.2`

			`phases:`
			`install:`
			`commands:`
AWS Codebuild: 2nd attempt to speed up install 2018-03-05 17:18:45 +08:00			`- echo "deb http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu trusty main" > /etc/apt/sources.list.d/toolchain.list`
AWS Codebuild: 4th attempt to speed up install 2018-03-05 17:50:31 +08:00			`- apt-key adv --keyserver keyserver.ubuntu.com --recv-keys BA9EF27F`
first attempt to use AWS Codebuild 2018-03-03 06:16:01 +08:00			`- apt-get update -y`
enable AWS Codebuild to do -m32 2018-05-22 23:52:24 +08:00			`- apt-get install -y g++-5 flex bison make git libwww-perl patch ccache libc6-dev-i386`
attempt 6 to use AWS Codebuild 2018-03-03 07:38:12 +08:00			`- apt-get install -y openjdk-7-jdk`
third attempt to use AWS Codebuild 2018-03-03 06:56:44 +08:00			`- update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 1`
attempt 5 to use AWS Codebuild 2018-03-03 07:22:19 +08:00			`- update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 1`
first attempt to use AWS Codebuild 2018-03-03 06:16:01 +08:00			`build:`
			`commands:`
			- echo Build started on `date`
JBMC: Added java-models-library dependency This commit adds a dependency to the java-models-library (https://github.com/diffblue/java-models-library). This repository contains models for number of classes derived from the java standard library. These models are needed to support concurrency. This means that the process of building JBMC has changed slightly as one first needs to download the java-models-library. I.E: make -C jbmc/src java-models-library-download make -C jbmc/src Due possible licensing issues, the ability to automatically embed the java core models into JBMC has been removed. Instead, one must explicitly use the '--classpath' option to load the models. Consequently, the '--no-core-models' option and related code was removed as it is no longer relevant. Commit also adds a new make target, 'make dist'. This target in addition to building jbmc will create a 'dist' directory with two sub-folders, bin and lib. Executables will be copied to the former, while 'core-models.jar' will copied to the latter. Note: src/org/cprover/CProver.java has also been removed as this has been superseded by the CProver.java in the java-models-library. 2018-05-22 23:40:13 +08:00			`- make -C jbmc/src java-models-library-download`
first attempt to use AWS Codebuild 2018-03-03 06:16:01 +08:00			`- (cd src ; make minisat2-download)`
AWS codebuild: enable ccache 2018-03-04 02:04:40 +08:00			`- (cd src ; make CXX="ccache g++" -j2)`
codebuild: enable the tests 2018-03-04 20:23:11 +08:00			`- (cd regression ; make test)`
first attempt to use AWS Codebuild 2018-03-03 06:16:01 +08:00			`post_build:`
			`commands:`
			- echo Build completed on `date`
			`artifacts:`
			`files:`
AWS codebuild: enable cache 2018-03-04 02:03:01 +08:00			`cache:`
			`paths:`
			`- '/root/.ccache/*/'`