blob: 519047b4a80e25c78111bd0904ad82869764e235 (
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
|
language: scala
scala:
- 2.11.12
- 2.12.4
sudo: false
cache:
directories:
$HOME/.ivy2
$INSTALL_DIR
git:
depth: 10
sbt_args: -Dsbt.log.noformat=true
env:
global:
INSTALL_DIR=$TRAVIS_BUILD_DIR/install
VERILATOR_ROOT=$INSTALL_DIR
PATH=$PATH:$VERILATOR_ROOT/bin:$TRAVIS_BUILD_DIR/utils/bin
before_script:
- bash .install_verilator.sh
- verilator --version
- bash .install_yosys.sh
- yosys -V
jobs:
include:
- stage: test
script:
- sbt clean assembly publishLocal
- bash .run_chisel_tests.sh
- stage: test
script:
- ./.run_formal_checks.sh RocketCore
- stage: test
script:
- ./.run_formal_checks.sh FPU
- stage: test
script:
- ./.run_formal_checks.sh ICache
|
