projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
schedule: print debug info
[model-checker.git]
/
Makefile
diff --git
a/Makefile
b/Makefile
index 073121e867eb926d30e3683bec67bd4d96e54342..d134f02037c0fb83c03112501e4da736a1ec617b 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-1,8
+1,8
@@
-CC=g
cc
-BIN=
libthreads
-SOURCE=libthreads.c
schedule.c libatomic.
c
-HEADERS=libthreads.h schedule.h common.h libatomic.h
-FLAGS=-Wall
+CC=g
++
+BIN=
model
+SOURCE=libthreads.c
c schedule.cc libatomic.cc userprog.c model.cc malloc.c threads.cc tree.c
c
+HEADERS=libthreads.h schedule.h common.h libatomic.h
model.h threads.h tree.h
+FLAGS=-Wall
-ldl -g
all: ${BIN}
all: ${BIN}