-
Notifications
You must be signed in to change notification settings - Fork 39
Expand file tree
/
Copy pathMakefile
More file actions
27 lines (21 loc) · 735 Bytes
/
Makefile
File metadata and controls
27 lines (21 loc) · 735 Bytes
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
# File : Makefile
# License : MIT license <Check LICENSE>
# Author : Anderson Ignacio da Silva (aignacio) <anderson@aignacio.com>
# Date : 07.06.2022
# Last Modified Date: 27.12.2022
COV_REP := $(shell find run_dir -name 'coverage.dat')
SPEC_TEST ?= -k test_ravenoc_basic['vanilla']
RUN_CMD := docker run --rm --name ravenoc \
-v $(abspath .):/ravenoc -w \
/ravenoc aignacio/ravenoc
.PHONY: run cov clean all
all: run
@echo ">Test run finished, please check the terminal"
run:
$(RUN_CMD) tox -- $(SPEC_TEST)
coverage.info:
verilator_coverage $(COV_REP) --write-info coverage.info
cov: coverage.info
genhtml $< -o output_lcov
clean:
$(RUN_CMD) rm -rf run_dir