X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=Makefile;h=2d90c16b4e55ad7bcc2046395af266caa9d1f712;hp=c2d7072e4c5170344cea19d35467aa537303f9cf;hb=deaf5b4143c9f294eedbebb43d2156586fbdb2e2;hpb=305c314f6e2e34396053c3974e3be3796a16e4e1

diff --git a/Makefile b/Makefile
index c2d7072..2d90c16 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ MODEL_H=libthreads.h schedule.h common.h model.h threads.h librace.h action.h no
 
 SHMEM_CC=snapshot.cc malloc.c mymemory.cc
 SHMEM_O=snapshot.o malloc.o mymemory.o
-SHMEM_H=snapshot.h snapshotimp.h mymemory.h
+SHMEM_H=snapshot.h snapshotimp.h mymemory.h config.h
 
 CPPFLAGS += -Iinclude -I.
 LDFLAGS=-ldl -lrt
@@ -33,10 +33,10 @@ $(LIB_SO): $(MODEL_O) $(MODEL_H) $(SHMEM_O) $(SHMEM_H)
 malloc.o: malloc.c
 	$(CC) -fPIC -c malloc.c -DMSPACES -DONLY_MSPACES $(CPPFLAGS)
 
-mymemory.o: mymemory.h snapshotimp.h snapshot.h mymemory.cc
+mymemory.o: mymemory.h snapshotimp.h snapshot.h mymemory.cc config.h
 	$(CXX) -fPIC -c mymemory.cc $(CPPFLAGS)
 
-snapshot.o: mymemory.h snapshot.h snapshotimp.h snapshot.cc
+snapshot.o: mymemory.h snapshot.h snapshotimp.h snapshot.cc config.h
 	$(CXX) -fPIC -c snapshot.cc $(CPPFLAGS)
 
 %.o: %.cc $(MODEL_H)