forked from PrincetonUniversity/ILAng
-
Notifications
You must be signed in to change notification settings - Fork 0
/
azure-pipelines.yml
157 lines (143 loc) · 3.85 KB
/
azure-pipelines.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
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
# File: azure-pipelines.yml
trigger:
- master
pr:
- master
jobs:
- job: macOS_Catalina_Debug
pool:
vmImage: 'macOS-10.15'
steps:
- script: |
brew update
brew install bison
brew install z3
displayName: 'package'
- script: |
cmake --version
z3 --version
displayName: 'printout'
- script: |
export PATH="/usr/local/opt/bison/bin:$PATH"
export LDFLAGS="-L/usr/local/opt/bison/lib"
mkdir -p build
cd build
cmake .. -DCMAKE_BUILD_TYPE=Debug
cmake --build .
cmake --build . --target install
cmake --build . --target test
displayName: 'build'
- job: macOS_Catalina_Release
pool:
vmImage: 'macOS-10.15'
steps:
- script: |
brew update
brew install bison
brew install z3
displayName: 'package'
- script: |
cmake --version
z3 --version
displayName: 'printout'
- script: |
export PATH="/usr/local/opt/bison/bin:$PATH"
export LDFLAGS="-L/usr/local/opt/bison/lib"
mkdir -p build
cd build
cmake .. -DCMAKE_BUILD_TYPE=Release
cmake --build .
cmake --build . --target install
./test/unit_tests
displayName: 'build'
- job: Ubuntu_1604_LTS
pool:
vmImage: 'ubuntu-16.04'
steps:
- script: |
sudo apt-get update
sudo apt-get install bison
sudo apt-get install flex
sudo apt-get install z3
sudo apt-get install libz3-dev
displayName: 'package'
- script: |
mkdir -p build
cd build
cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_COMPILER=g++-7
cmake --build .
sudo cmake --build . --target install
cmake --build . --target test
displayName: 'build'
- job: Ubuntu_1804_LTS
pool:
vmImage: 'ubuntu-18.04'
steps:
- script: |
sudo apt-get update
sudo apt-get install bison
sudo apt-get install flex
sudo apt-get install z3
sudo apt-get install libz3-dev
displayName: 'package'
- script: |
mkdir -p build
cd build
cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_COMPILER=g++-8
cmake --build .
sudo cmake --build . --target install
cmake --build . --target test
displayName: 'build'
- job: Windows_2016
pool:
vmImage: 'vs2017-win2016'
steps:
- script: |
choco install winflexbison3
choco install wget
git submodule update --init --recursive
displayName: 'package'
- script: |
wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.8/z3-4.8.8-x86-win.zip
unzip z3-4.8.8-x86-win.zip
move z3-4.8.8-x86-win z3
displayName: 'z3'
- script: |
cd extern
cd glog
md build
cd build
cmake ..
cmake --build . --target install
displayName: 'glog'
- script: |
cd extern
cd json
md build
cd build
cmake .. -DJSON_BuildTests=OFF
cmake --build . --target install
displayName: 'json'
- script: |
cd extern
cd vlog-parser
md build
cd build
cmake ..
cmake --build . --target install
displayName: 'vlog-parser'
- script: |
md build
cd build
# For building the test, we need CMAKE_MSVC_RUNTIME_LIBRARY (which will be supported in CMake 3.15+)
cmake .. -DILANG_BUILD_TEST=OFF -DBUILD_SHARED_LIBS=OFF -DILANG_BUILD_INVSYN=OFF -DZ3_INCLUDE_DIR=$(Build.Repository.LocalPath)/z3/include -DZ3_LIBRARY=$(Build.Repository.LocalPath)/z3/bin/libz3.lib -DZ3_EXEC=$(Build.Repository.LocalPath)/z3/bin/z3.exe
cmake --build .
cmake --build . --target install
displayName: 'build'
- script: |
cd starter
md build
cd build
cmake .. -DZ3_INCLUDE_DIR=$(Build.Repository.LocalPath)/z3/include -DZ3_LIBRARY=$(Build.Repository.LocalPath)/z3/bin/libz3.lib -DZ3_EXEC=$(Build.Repository.LocalPath)/z3/bin/z3.exe
cmake --build .
displayName: 'starter'