-
Notifications
You must be signed in to change notification settings - Fork 6
79 lines (66 loc) · 2.05 KB
/
valgrind.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
name: valgrind
on:
schedule:
- cron: "0 19 * * 5"
workflow_dispatch:
jobs:
linux-gcc:
name: valgrind
runs-on: ubuntu-latest
defaults:
run:
shell: bash
strategy:
fail-fast: false
env:
MODE: valgrind
steps:
- name: Cancel previous
uses: styfle/[email protected]
with:
access_token: ${{ github.token }}
- uses: actions/setup-python@v2
with:
python-version: 3.8
- name: ssh-agent
uses: webfactory/[email protected]
with:
ssh-private-key: |
${{ secrets.SSH_PRIVATE_KEY_RTL_BENCHMARK }}
${{ secrets.SSH_PRIVATE_KEY_YOSYS }}
${{ secrets.SSH_PRIVATE_KEY_YOSYS_RS_PLUGIN }}
${{ secrets.SSH_PRIVATE_KEY_LOGIC_SYNTHESIS }}
${{ secrets.SSH_PRIVATE_KEY_ABC }}
${{ secrets.SSH_PRIVATE_KEY_RAPTOR_TOOLS }}
${{ secrets.SSH_PRIVATE_KEY_VERIFIC }}
${{ secrets.SSH_RS_FPGA_PRIMITIVES }}
- name: Checkout code
uses: actions/checkout@v2
- name: Install dependencies
working-directory: ./.github/scripts
run: |
bash install_ubuntu_dependencies_build.sh
- name: Use ccache
uses: hendrikmuhs/ccache-action@v1
with:
key: linux-valgrind
- name: Configure shell
run: |
echo 'CC=gcc-9' >> $GITHUB_ENV
echo 'CXX=g++-9' >> $GITHUB_ENV
echo 'PATH=/usr/lib/ccache:'"$PATH" >> $GITHUB_ENV
echo 'PREFIX=/tmp/yosys_verific-install' >> $GITHUB_ENV
echo "ADDITIONAL_CMAKE_OPTIONS='-DMY_CXX_WARNING_FLAGS="-W -Wall -Wextra -Wno-unused-parameter -Wno-unused-variable -Werror -UNDEBUG"'" >> $GITHUB_ENV
echo 'RULE_MESSAGES=off' >> $GITHUB_ENV
- name: Show shell configuration
run: |
env
which cmake && cmake --version
which make && make --version
which python && python --version
which ninja && ninja --version
which $CC && $CC --version
which $CXX && $CXX --version
- name: Valgrind
run: |
make valgrind