-
Notifications
You must be signed in to change notification settings - Fork 6
187 lines (160 loc) · 5.92 KB
/
ci.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
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
name: Test
# Controls when the action will run.
on:
# Triggers the workflow on push or pull request events...
# ...but only for the pure-z3 and master branches
push:
branches: [ pure-z3, master]
pull_request:
branches: [ pure-z3, master]
# Triggers the workflow every Monday 6am for
# pure-z3 branch
schedule:
- cron: '0 6 * * 1'
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
env:
GH_TOKEN: ${{ github.token }}
PROJECT: MachineArithmetic
# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
full:
name: "Full - ${{matrix.dialect}}, ${{matrix.os}}, ${{matrix.z3}}"
# The type of runner that the job will run on
runs-on: ${{ matrix.os }}
strategy:
matrix:
os:
- ubuntu-latest
- windows-latest
dialect: [ pharo ]
z3:
- 'z3-4.13.0'
- 'z3-4.8.12'
- '' #latest
scheduled:
- ${{ github.event_name == 'schedule' }}
exclude:
# We only run tests on Windows on scheduled builds
# as they take longer and slows down PR checks.
- scheduled: false
os: windows-latest
# No, do not run tests on Windows not even for scheduled builds.
# Builds were consistently failing for unknown reason and until
# someone would actively use Windows, we do not bother to fix it.
- scheduled: true
os: windows-latest
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- uses: actions/checkout@v2
- name: Add MSYS2 to PATH (Windows only)
if: matrix.os == 'windows-latest'
run: echo "C:\msys64\usr\bin" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8 -Append
- name: Install required tools (Windows only)
if: matrix.os == 'windows-latest'
run: pacman --noconfirm -Syu wget make unzip
- name: Install Z3
run: |
case ${{matrix.os}} in
ubuntu*)
gh release -R Z3prover/z3 download ${{matrix.z3}} -p 'z3-*-x64-glibc-2.35.zip' -O 'z3.zip' --clobber \
|| gh release -R Z3prover/z3 download ${{matrix.z3}} -p 'z3-*-x64-glibc*.zip' -O 'z3.zip' --clobber
;;
windows*)
gh release -R Z3prover/z3 download ${{matrix.z3}} -p 'z3-*-x64-win.zip' -O 'z3.zip' --clobber
;;
*)
echo "Unsupported OS" && false
;;
esac
unzip z3.zip
rm z3.zip
mv z3-*-x64-* z3
case ${{matrix.os}} in
ubuntu*)
export Z3_LIBRARY_PATH=$(realpath z3/bin/libz3.so)
;;
windows*)
export Z3_LIBRARY_PATH=$(realpath z3/bin/libz3.dll)
;;
*)
echo "Unsupported OS" && false
;;
esac
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$Z3_LIBRARY_PATH
echo "Z3_LIBRARY_PATH=$Z3_LIBRARY_PATH"
echo "LD_LIBRARY_PATH=$LD_LIBRARY_PATH"
echo "Z3_LIBRARY_PATH=$Z3_LIBRARY_PATH" >> $GITHUB_ENV
echo "LD_LIBRARY_PATH=$LD_LIBRARY_PATH" >> $GITHUB_ENV
- name: Fetch commits so that Iceberg doesn't crash
run: git fetch --unshallow
- name: Build
run: |
make -C ${{matrix.dialect}}
- name: Test
run: |
make -C ${{matrix.dialect}} test
z3bindings:
name: "Z3 bindings only - ${{matrix.dialect}}, ${{matrix.os}}, ${{matrix.z3}}"
# The type of runner that the job will run on
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ubuntu-latest]
dialect: [ pharo , stx ]
z3:
- 'z3-4.13.0'
- 'z3-4.8.12'
- '' #latest
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- uses: actions/checkout@v2
- name: Add MSYS2 to PATH (Windows only)
if: matrix.os == 'windows-latest'
run: echo "C:\msys64\usr\bin" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8 -Append
- name: Install required tools (Windows only)
if: matrix.os == 'windows-latest'
run: pacman --noconfirm -Syu wget make unzip
- name: Install Z3
run: |
case ${{matrix.os}} in
ubuntu*)
gh release -R Z3prover/z3 download ${{matrix.z3}} -p 'z3-*-x64-glibc-2.35.zip' -O 'z3.zip' --clobber \
|| gh release -R Z3prover/z3 download ${{matrix.z3}} -p 'z3-*-x64-glibc*.zip' -O 'z3.zip' --clobber
;;
windows*)
gh release -R Z3prover/z3 download ${{matrix.z3}} -p 'z3-*-x64-win.zip' -O 'z3.zip' --clobber
;;
*)
echo "Unsupported OS" && false
;;
esac
unzip z3.zip
rm z3.zip
mv z3-*-x64-* z3
case ${{matrix.os}} in
ubuntu*)
export Z3_LIBRARY_PATH=$(realpath z3/bin/libz3.so)
;;
windows*)
export Z3_LIBRARY_PATH=$(realpath z3/bin/libz3.dll)
;;
*)
echo "Unsupported OS" && false
;;
esac
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$Z3_LIBRARY_PATH
echo "Z3_LIBRARY_PATH=$Z3_LIBRARY_PATH"
echo "LD_LIBRARY_PATH=$LD_LIBRARY_PATH"
echo "Z3_LIBRARY_PATH=$Z3_LIBRARY_PATH" >> $GITHUB_ENV
echo "LD_LIBRARY_PATH=$LD_LIBRARY_PATH" >> $GITHUB_ENV
- name: Fetch commits so that Iceberg doesn't crash
run: git fetch --unshallow
- name: Build
run: |
make -C ${{matrix.dialect}}
- name: Test
run: |
make -C ${{matrix.dialect}} test