Context Navigation

Makefile@ bb03188

main test-branch

Last change on this file since bb03188 was ea777aa, checked in by Alex Wilton <awilton@…>, 3 years ago

Moved examples, include, build_default.properties, common.xml, and README out from dev.civl.com into the root of the repo.

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

File size: 234 bytes

Rev	Line
[9570bc1]	1	CIVL=civl
	2	VERIFY=${CIVL} verify
	3
[003a8b3]	4	all: max abs abs2
[9570bc1]	5
	6	max: unreached.c
	7	${VERIFY} -showUnreached unreached.c
	8
	9	abs: abs.c
	10	${VERIFY} -analyze_abs abs.c
[70abe32]	11
[003a8b3]	12	abs2: abs2.c
	13	${VERIFY} -analyze_abs abs2.c
[9570bc1]	14
	15	clean:
	16	rm -f -r CIVLREP
	17	rm -r -f *~

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