source: CIVL/examples/compare/queue/Makefile@ 53e15b1

1.23 2.0 main test-branch
Last change on this file since 53e15b1 was 449bd3f, checked in by Si Li <sili@…>, 10 years ago

change makefile

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

  • Property mode set to 100644
File size: 263 bytes
Line 
1CIVL=civl
2VERIFY=${CIVL} verify
3
4all: twoLock nonblocking
5
6twoLock: driver.cvl queue_two_lock.c
7 ${VERIFY} driver.cvl queue_two_lock.c
8
9nonblocking: driver.cvl queue_non_blocking.c
10 ${VERIFY} driver.cvl queue_non_blocking.c
11
12clean:
13 rm -f -r CIVLREP
14 rm -r -f *~
Note: See TracBrowser for help on using the repository browser.