Context Navigation

Makefile@ 83af34d

1.23 2.0 main test-branch

Last change on this file since 83af34d was c18ef52, checked in by Manchun Zheng <zmanchun@…>, 12 years ago

minor correction.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@1691 fb995dde-84ed-4084-dfe6-e5aef3e2452c

File size: 203 bytes

Rev	Line
[f06298a]	1	CIVL = civl
	2	COMPARE = $(CIVL) compare
	3
	4	all: adder
	5
[7e8e35c]	6	adder: adder_par.cvl adder_spec.cvl
	7	$(COMPARE) -inputNB=4 -inputNPROCSB=2 -impl adder_par.cvl -spec adder_spec.cvl
	8
[f06298a]	9	clean:
	10	rm -f *~
	11	rm -f -r CIVLREP

Note: See TracBrowser for help on using the repository browser.