-
Notifications
You must be signed in to change notification settings - Fork 15
169 lines (131 loc) · 4.33 KB
/
macos_arm.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
name: macOS_arm
on:
pull_request:
workflow_dispatch:
jobs:
gnat_gprbuild:
name: GNAT macOS
runs-on: macos-14
steps:
- name: Checkout Project
uses: actions/checkout@v2
- name: Install texinfo with Homebrew
run: brew install texinfo
- name: Set up Python
uses: actions/setup-python@v2
with:
python-version: 3.10.11
- name: Install Python dependencies
run: |
python -m pip install --upgrade pip
pip install e3-core==22.1.0
- name: Build GNAT native
run: ./anod build gcc -v --loglevel DEBUG --enable-cleanup
- name: Build GDB
run: ./anod build gdb -v --loglevel DEBUG --enable-cleanup
- name: Package GNAT
run: ./anod build release_package --qualifier=package=gnat,do_gh_release -v --loglevel DEBUG
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
- name: Build GPRbuild
run: ./anod build gprbuild -v --loglevel DEBUG --enable-cleanup
- name: Package GPRbuild
run: ./anod build release_package --qualifier=package=gprbuild,do_gh_release -v --loglevel DEBUG
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
- uses: actions/upload-artifact@v2
with:
name: anod-artifacts
path: out_artifacts/*
retention-days: 1
- uses: actions/upload-artifact@v2
with:
name: release-packages
path: sbx/*/release_package*/install/*
retention-days: 5
why3:
strategy:
matrix:
ocaml-compiler:
- 4.12.1
runs-on: macos-14
steps:
- name: Checkout code
uses: actions/checkout@v2
with:
repository: 'adacore/why3'
ref: 'fsf-13'
- name: Use Setup OCaml {{ matrix.ocaml-version }}
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-compiler}}
- name: Setup Packages
run: |
opam depext zarith re seq why3
opam install dune dune-configurator menhir num ocamlgraph re seq yojson zarith sexplib ppx_sexp_conv ppx_deriving
- run: opam exec -- ./configure --prefix=/tmp/why3install --enable-relocation --disable-emacs-compilation --disable-hypothesis-selection --disable-js-of-ocaml --disable-zip
- run: opam exec -- make
- run: opam exec -- make install_spark2014
- run: git log --format="%H" -n 1 > /tmp/why3install/why3-version.txt
- name: Upload the build artifact
uses: actions/upload-artifact@v2
with:
name: why3
path: /tmp/why3install
alt_ergo:
strategy:
matrix:
ocaml-compiler:
- 4.12.1
runs-on: macos-14
steps:
- name: Checkout code
uses: actions/checkout@v2
with:
repository: 'adacore/alt-ergo'
ref: 'master'
- name: Use Setup OCaml {{ matrix.ocaml-version }}
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
- run: opam install alt-ergo --destdir=/tmp/alt-ergo-install
- run: git log --format="%H" -n 1 > /tmp/alt-ergo-install/alt-ergo-version.txt
- name: Upload the build artifact
uses: actions/upload-artifact@v2
with:
name: alt-ergo
path: /tmp/alt-ergo-install
spark:
name: SPARK
needs: [why3, alt_ergo]
runs-on: macos-14
steps:
- name: Checkout Project
uses: actions/checkout@v2
- uses: actions/download-artifact@v2
with:
name: alt-ergo
path: alt-ergo_artifact/
- uses: actions/download-artifact@v2
with:
name: why3
path: why3_artifact/
- name: Set up Python
uses: actions/setup-python@v2
with:
python-version: 3.10.11
- name: Install Python dependencies
run: |
python -m pip install --upgrade pip
pip install e3-core==22.1.0
- name: Build SPARK
run: ./anod build spark2014 -v --loglevel DEBUG --enable-cleanup
- name: Package GNATprove
run: ./anod build release_package --qualifier=package=gnatprove,do_gh_release -v --loglevel DEBUG
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
- uses: actions/upload-artifact@v2
with:
name: release-packages
path: sbx/*/release_package*/install/*
retention-days: 5