Context Navigation

Makefile@ d04e4b0

1.23 2.0 main test-branch

Last change on this file since d04e4b0 was 57732bb5, checked in by Manchun Zheng <zmanchun@…>, 11 years ago

added two-lock queue and non-blocking queue implementation

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

File size: 328 bytes

Rev	Line
[57732bb5]	1	CIVL=civl
	2	VERIFY=${CIVL} verify -userIncludePath=.
	3
	4	all: twoLock nonblocking
	5
	6	twoLock: driver.cvl queue_two_lock.c
	7	${VERIFY} -collectOutput=false driver.cvl queue_two_lock.c
	8
	9	nonblocking: driver.cvl queue_non_blocking.c
	10	${VERIFY} -collectOutput=false -showTransitions driver.cvl queue_non_blocking.c
	11
	12	clean:
	13	rm -rf CIVLREP/*

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