X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Makefile;h=1326dc0048e68d5cbd6f03de2388ebe3f10d41bc;hb=1a4bbd1e723d4fb2b791c7e19c4a104fe35e5b56;hp=54dcad14df741a6e3d5d9a8fff073f48f9f33cbc;hpb=72e4ac7e09dac04744d8e1b4d8166a23fd197786;p=model-checker.git

diff --git a/Makefile b/Makefile
index 54dcad1..1326dc0 100644
--- a/Makefile
+++ b/Makefile
@@ -21,7 +21,6 @@ SHMEM_H=snapshot.h snapshotimp.h mymemory.h
 CPPFLAGS=-Wall -g
 LDFLAGS=-ldl -lrt
 
-MEMCPPFLAGS=-fPIC -g -c -Wall
 all: $(BIN)
 
 $(BIN): $(USER_O) $(LIB_SO) $(LIB_MEM_SO)
@@ -36,13 +35,13 @@ $(LIB_MEM_SO): $(SHMEM_O) $(SHMEM_H)
 	$(CC) -shared -W1,rpath,"." -o $(LIB_MEM_SO) $(SHMEM_O)
 
 malloc.o: malloc.c
-	$(CC) $(MEMCPPFLAGS) -DMSPACES -DONLY_MSPACES malloc.c
+	$(CC) -fPIC -c malloc.c -DMSPACES -DONLY_MSPACES $(CPPFLAGS)
 
 mymemory.o: mymemory.h snapshotimp.h mymemory.cc
-	$(CXX) $(MEMCPPFLAGS) mymemory.cc
+	$(CXX) -fPIC -c mymemory.cc $(CPPFLAGS)
 
 snapshot.o: mymemory.h snapshot.h snapshotimp.h snapshot.cc
-	$(CXX) $(MEMCPPFLAGS) snapshot.cc
+	$(CXX) -fPIC -c snapshot.cc $(CPPFLAGS)
 
 $(MODEL_O): $(MODEL_CC) $(MODEL_H)
 	$(CXX) -fPIC -c $(MODEL_CC) $(CPPFLAGS)