File tree 2 files changed +74
-45
lines changed
2 files changed +74
-45
lines changed Original file line number Diff line number Diff line change
1
+ dist : xenial
2
+ sudo : require
3
+
4
+ language : cpp
5
+
6
+ addons :
7
+ apt :
8
+ update : true
9
+ packages :
10
+ - build-essential
11
+ - libboost-all-dev
12
+ - libboost-program-options-dev
13
+ - bison
14
+ - flex
15
+ - python
16
+ - perl
17
+ - zlib1g-dev
18
+ - python-minimal
19
+ - ninja-build
20
+ - wget
21
+ - curl
22
+ - unionfs-fuse
23
+ - git
24
+ - doxygen
25
+ - graphviz
26
+ - python3
27
+ - python3-pip
28
+ - subversion
29
+ - libgmp-dev
30
+ - libmpfr-dev
31
+ - libncurses5-dev
32
+ - libncursesw5-dev
33
+
34
+ before_script :
35
+ -
git config --global user.email "[email protected] "
36
+ - git config --global user.name "Map2Check"
37
+ - mkdir build
38
+ - cd build
39
+ - wget http://releases.llvm.org/6.0.0/clang+llvm-6.0.0-x86_64-linux-gnu-ubuntu-16.04.tar.xz
40
+ - tar xf clang+llvm-6.0.0-x86_64-linux-gnu-ubuntu-16.04.tar.xz
41
+ - mv clang+llvm-6.0.0-x86_64-linux-gnu-ubuntu-16.04 clang
42
+ - export LLVM_DIR=`pwd`/clang/lib/cmake/llvm
43
+ - export CXX=$LLVM_DIR/../../../bin/clang++
44
+ - export CC=$LLVM_DIR/../../../bin/clang
45
+ - cmake .. -G Ninja -DENABLE_TEST=ON -DLLVM_DIR=$LLVM_DIR -DCMAKE_INSTALL_PREFIX=../release/
46
+
47
+ script : ninja && ninja install && ctest
48
+
49
+ after_script :
50
+ - cd ../release
51
+ - cp -r $LLVM_DIR_BASE/lib/clang/$LLVM_VERSION/include/* ./include
52
+ - cp -r $LLVM_DIR_BASE/lib/clang ./lib
53
+ - cp /usr/bin/ld ./bin/
54
+ - cp /usr/lib/x86_64-linux-gnu/libbfd-2.26.1-system.so ./lib
55
+ - cp /usr/lib/gcc/x86_64-linux-gnu/5/libstdc++.a ./lib/
56
+ - cd ..
57
+ - tar czf map2check.tar.gz release
58
+
59
+ notifications :
60
+ email :
61
+ recipients :
62
+
63
+
64
+ on_success : never # default: change
65
+ on_failure : never # default: always
Original file line number Diff line number Diff line change @@ -7,54 +7,18 @@ addons:
7
7
apt:
8
8
update: true
9
9
packages:
10
- - build-essential
11
- - libboost-all-dev
12
- - libboost-program-options-dev
13
- - bison
14
- - flex
15
- - python
16
- - perl
17
- - zlib1g-dev
18
- - python-minimal
19
- - ninja-build
20
- - wget
21
- - curl
22
- - unionfs-fuse
23
- - git
24
- - doxygen
25
- - graphviz
26
- - python3
27
- - python3-pip
28
- - subversion
29
- - libgmp-dev
30
- - libmpfr-dev
31
- - libncurses5-dev
32
- - libncursesw5-dev
10
+ - git
33
11
34
- before_script :
35
- -
git config --global user.email "[email protected] "
36
- - git config --global user.name "Map2Check"
37
- - mkdir build
38
- - cd build
39
- - wget http://releases.llvm.org/6.0.0/clang+llvm-6.0.0-x86_64-linux-gnu-ubuntu-16.04.tar.xz
40
- - tar xf clang+llvm-6.0.0-x86_64-linux-gnu-ubuntu-16.04.tar.xz
41
- - mv clang+llvm-6.0.0-x86_64-linux-gnu-ubuntu-16.04 clang
42
- - export LLVM_DIR=`pwd`/clang/lib/cmake/llvm
43
- - export CXX=$LLVM_DIR/../../../bin/clang++
44
- - export CC=$LLVM_DIR/../../../bin/clang
45
- - cmake .. -G Ninja -DENABLE_TEST=ON -DLLVM_DIR=$LLVM_DIR -DCMAKE_INSTALL_PREFIX=../release/
12
+ services :
13
+ - docker
46
14
47
- script : ninja && ninja install && ctest
15
+ before_script :
16
+ - git clone https://github.com/hbgit/Map2Check.git
17
+ - cd Map2Check
18
+ - docker build -t hrocha/mapdevel --no-cache -f Dockerfile .
48
19
49
- after_script :
50
- - cd ../release
51
- - cp -r $LLVM_DIR_BASE/lib/clang/$LLVM_VERSION/include/* ./include
52
- - cp -r $LLVM_DIR_BASE/lib/clang ./lib
53
- - cp /usr/bin/ld ./bin/
54
- - cp /usr/lib/x86_64-linux-gnu/libbfd-2.26.1-system.so ./lib
55
- - cp /usr/lib/gcc/x86_64-linux-gnu/5/libstdc++.a ./lib/
56
- - cd ..
57
- - tar czf map2check.tar.gz release
20
+ script :
21
+ - docker run --rm -v $(pwd):/home/map2check/devel_tool/mygitclone:Z hrocha/mapdevel /bin/bash -c "cd /home/map2check/devel_tool/mygitclone; ./make-release.sh"
58
22
59
23
notifications :
60
24
email:
You can’t perform that action at this time.
0 commit comments