benchmarks/.travis.yml at master · jayhorn/benchmarks · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

language: cpp

sudo: required

os:
  - linux

env:
  global:
    - TMPDIR=/tmp

addons:
  apt:
    packages:
      - libwww-perl

compiler:
  - gcc

jdk:
  - oraclejdk8

python:
 - 2.7

before_install:
  - if [ "$(expr substr $(uname -s) 1 5)" == "Linux" ] ; then sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test && sudo apt-get -qq update && sudo apt-get -qq install g++-4.8 gcc-4.8 && sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-4.8 90 && sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.8 90 ; fi


install:
  - echo ".... Installing JAYHORN .... "
  - echo ".... Installing CBMC .... "


script:
   - echo "    RUNNING JAYHORN ON Benchmarks   "


after_success:
   - echo "All done."

notifications:
  slack: jayhorn:gYFX9JnLgy7CxzjuV1K3OoJG#benchmarks