blob: b365776ff508d57f6d09ccf28430f98d299a3591 (
plain)
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
|
name: Continuous Integration
on:
pull_request:
push:
branches:
- master
- 3.4.x
- 3.3.x
- 3.2.x
jobs:
ci:
name: ci
runs-on: ubuntu-20.04
strategy:
matrix:
scala: ["2.13.6", "2.12.13"]
verilator: ["4.204"]
z3: ["4.8.10"]
steps:
- name: Install Z3 Build Dependencies
run: sudo apt-get install -y git make autoconf g++ flex bison libfl2 libfl-dev
- name: Cache Z3 ${{ matrix.z3 }}
uses: actions/cache@v2
id: cache-z3
with:
path: z3-z3-${{ matrix.z3 }}
key: ${{ runner.os }}-z3-${{ matrix.z3 }}
- name: Compile Z3
if: steps.cache-z3.outputs.cache-hit != 'true'
run: |
wget https://github.com/Z3Prover/z3/archive/refs/tags/z3-${{ matrix.z3 }}.tar.gz
tar xvf z3-${{ matrix.z3 }}.tar.gz
cd z3-z3-${{ matrix.z3 }}
mkdir -p build
cd build
cmake .. \
-DCMAKE_BUILD_TYPE=Release \
-DZ3_LINK_TIME_OPTIMIZATION=1
make
- name: Install Z3 ${{ matrix.z3 }}
run: |
cd z3-z3-${{ matrix.z3 }}/build
sudo make install
z3 --version
- name: Cache Verilator ${{ matrix.verilator }}
uses: actions/cache@v2
id: cache-verilator
with:
path: verilator-${{ matrix.verilator }}
key: ${{ runner.os }}-verilator-${{ matrix.verilator }}
- name: Compile Verilator ${{ matrix.verilator }}
if: steps.cache-verilator.outputs.cache-hit != 'true'
run: |
wget https://github.com/verilator/verilator/archive/refs/tags/v${{ matrix.verilator }}.tar.gz
tar xvf v${{ matrix.verilator }}.tar.gz
cd verilator-${{ matrix.verilator }}
autoconf
./configure
make
- name: Install Verilator ${{ matrix.verilator }}
run: |
cd verilator-${{ matrix.verilator }}
sudo make install
verilator --version
- name: Checkout
uses: actions/checkout@v2
- name: Setup Scala
uses: olafurpg/setup-scala@v10
with:
java-version: adopt@1.8
- name: Cache Scala
uses: coursier/cache-action@v5
- name: Documentation (Scala 2.12 only)
if: matrix.scala == '2.12.13'
run: sbt ++${{ matrix.scala }} docs/mdoc
- name: Test
run: sbt ++${{ matrix.scala }} test noPluginTests/test
- name: Binary compatibility
run: sbt ++${{ matrix.scala }} mimaReportBinaryIssues
# Sentinel job to simplify how we specify which checks need to pass in branch
# protection and in Mergify
#
# When adding new jobs, please add them to `needs` below
all_tests_passed:
name: "all tests passed"
needs: [ci]
runs-on: ubuntu-20.04
steps:
- run: echo Success!
# sbt ci-release publishes all cross versions so this job needs to be
# separate from a Scala versions build matrix to avoid duplicate publishing
publish:
needs: [all_tests_passed]
runs-on: ubuntu-20.04
if: github.event_name == 'push'
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Setup Scala
uses: olafurpg/setup-scala@v10
with:
java-version: adopt@1.8
- name: Cache Scala
uses: coursier/cache-action@v5
- name: Setup GPG (for Publish)
uses: olafurpg/setup-gpg@v3
- name: Publish
run: sbt ci-release
env:
PGP_PASSPHRASE: ${{ secrets.PGP_PASSPHRASE }}
PGP_SECRET: ${{ secrets.PGP_SECRET }}
SONATYPE_PASSWORD: ${{ secrets.SONATYPE_PASSWORD }}
SONATYPE_USERNAME: ${{ secrets.SONATYPE_USERNAME }}
|
