X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=Makefile;h=f484bb9dd1d2a9819d9d50e277ef7847ae67a64f;hp=139e9540884e5210dde95aa785153ea68e4e07e7;hb=517d8ce6cc880bb523ee55005afdcad1ec551e64;hpb=8b26430bc2c471a6903a91f975dce820d8d38208

diff --git a/Makefile b/Makefile
index 139e954..f484bb9 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,8 @@
-CC=gcc
-BIN=libthreads
-SOURCE=libthreads.c schedule.c
-HEADERS=libthreads.h schedule.h common.h
-FLAGS=-Wall
+CC=g++
+BIN=model
+SOURCE=libthreads.cc schedule.cc libatomic.cc userprog.c model.cc malloc.c threads.cc
+HEADERS=libthreads.h schedule.h common.h libatomic.h model.h threads.h
+FLAGS=-Wall -ldl -g
 
 all: ${BIN}