From: Brian Demsky Date: Fri, 18 May 2012 23:51:10 +0000 (-0700) Subject: makefile X-Git-Tag: pldi2013~433 X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c40837f4351cd99154b3f244860c03f5b0afe2ff;p=model-checker.git makefile --- diff --git a/Makefile b/Makefile index b67d994..3129a8e 100644 --- a/Makefile +++ b/Makefile @@ -10,8 +10,8 @@ LIB_MEM_SO=lib$(LIB_MEM).so USER_O=userprog.o USER_H=libthreads.h libatomic.h -MODEL_CC=libthreads.cc schedule.cc libatomic.cc model.cc malloc.c threads.cc tree.cc librace.cc action.cc nodestack.cc clockvector.cc main.cc snapshot-interface.cc -MODEL_O=libthreads.o schedule.o libatomic.o model.o malloc.o threads.o tree.o librace.o action.o nodestack.o clockvector.o main.o snapshot-interface.o +MODEL_CC=libthreads.cc schedule.cc libatomic.cc model.cc threads.cc tree.cc librace.cc action.cc nodestack.cc clockvector.cc main.cc snapshot-interface.cc mallocwrap.cc +MODEL_O=libthreads.o schedule.o libatomic.o model.o threads.o tree.o librace.o action.o nodestack.o clockvector.o main.o snapshot-interface.o mallocwrap.o MODEL_H=libthreads.h schedule.h common.h libatomic.h model.h threads.h tree.h librace.h action.h nodestack.h clockvector.h snapshot-interface.h SHMEM_CC=snapshot.cc malloc.c mymemory.cc