From: Brian Norris <banorris@uci.edu>
Date: Fri, 3 Aug 2012 04:00:22 +0000 (-0700)
Subject: Makefile: fix config.h dependencies
X-Git-Tag: pldi2013~288
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=b946732417ea4d9dec1b2c1ac3c274811a9d3fcb

Makefile: fix config.h dependencies

The snapshotting code needs to be rebuilt when config.h is modified.
---

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)