-
Notifications
You must be signed in to change notification settings - Fork 10
/
.travis.yml
74 lines (74 loc) · 1.83 KB
/
.travis.yml
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
language: cpp
sudo: required
dist: trusty
addons:
apt:
sources:
- ubuntu-toolchain-r-test
packages:
- g++-4.9
- clang-3.5
- libconfig++-dev
- openmpi-bin
- openmpi-common
- libopenmpi-dev
- gcc-aarch64-linux-gnu
- g++-aarch64-linux-gnu
- bc
- qemu-user
- qemu
before_install:
- sudo apt-get -qq update
- sudo apt-get -y build-dep qemu linux-meta
- export MANIFOLD_DIR=`pwd`
- git clone https://github.com/gtcasl/qsim
- cd qsim
- git submodule update --init --recursive
- export QSIM_PREFIX=`pwd`
- export LD_LIBRARY_PATH=$QSIM_PREFIX/lib:$LD_LIBRARY_PATH
- cd capstone
- make
- cd ..
- cd distorm/distorm64/build/linux
- make clib
- cd $QSIM_PREFIX/linux
- ./getkernel.sh
- cd $QSIM_PREFIX/initrd
- ./getbusybox.sh
- cd $QSIM_PREFIX
- make release install
- cd ..
- wget http://manifold.gatech.edu/wp-content/uploads/2017/01/kitfox-v1.1.tar.gz
- tar xzvf kitfox-v1.1.tar.gz
- cd kitfox-v1.1
- sudo apt-get -y install flex bison
- make mcpat;make 3dice
- make kitfox
- export KITFOX_PREFIX=`pwd`
- cd ..
script:
- autoreconf -siv
- ./configure QSIMINC=${QSIM_PREFIX}/include --without-kitfox
- make
- cd ${MANIFOLD_DIR}/simulator/smp/QsimProxy
- make -f Makefile
- cd ${MANIFOLD_DIR}
- make distclean
- ./configure QSIMINC=${QSIM_PREFIX}/include KITFOXINC=${KITFOX_PREFIX}
- make
- cd ${MANIFOLD_DIR}/simulator/smp/QsimProxy
- make clean
- make -f Makefile.kitfox
after_failure:
- cat ${MANIFOLD_DIR}/config.log
compiler:
- clang
- gcc
git:
submodules: false
notifications:
email:
recipients:
on_success: change
on_failure: always