-
Notifications
You must be signed in to change notification settings - Fork 0
54 lines (54 loc) · 1.32 KB
/
build.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
name: CI
on:
push:
pull_request:
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout Kronos
uses: actions/checkout@v2
with:
submodules: recursive
- name: Update apt repository
run: sudo apt-get update -y
- name: Install packages
run: >-
sudo apt-get install
build-essential
clang
bison
flex
libreadline-dev
gawk
tcl-dev
libffi-dev
git
graphviz
xdot
pkg-config
python3
libboost-system-dev
libboost-python-dev
libboost-filesystem-dev
zlib1g-dev
python3-pip
gcc-riscv64-linux-gnu
- name: Install Racket
uses: Bogdanp/setup-racket@v0.12
with:
architecture: x64
version: stable
variant: regular
- name: Install Yosys
run: .ci/install-yosys.sh
- name: Install sv2v
run: .ci/install-sv2v.sh
- name: Install bin2coe
run: pip3 install bin2coe
- name: Install rtl
run: raco pkg install --no-docs --batch --auto https://github.com/nmoroze/rtlv.git
- name: Run verification script
run: |
PATH="$HOME/yosys:$HOME/.local/bin:$PATH"
make verify