File: Makefile

package info (click to toggle)
covered 0.7.10-7
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 9,040 kB
  • sloc: ansic: 48,809; yacc: 11,650; xml: 8,838; tcl: 7,698; sh: 3,925; lex: 2,240; makefile: 362; perl: 329
file content (12 lines) | stat: -rw-r--r-- 430 bytes parent folder | download | duplicates (7) 
1
2
3
4
5
6
7
8
9
10
11
12
 
OVL_HOME = ../../../diags/verilog/ovl

all:
	iverilog -v -c libs example.v
	./a.out
	../../../src/covered -D score -t main -v example.v -vcd example.vcd -A ovl +libext+.vlib+ -y $(OVL_HOME) -y $(OVL_HOME)/vlog95 -I $(OVL_HOME)
	../../../src/covered report -d v -m ltcfram -o example.rptM cov.cdd
	../../../src/covered report -d v -m ltcfram -i -o example.rptI cov.cdd
	./prep_files

clean:
	rm -rf a.out *.cdd *.rptM *.rptI *.vcd