X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Makefile;h=d74c3a3d1408a62e373f81df9b390f9624eddc7b;hb=67becf49b3c3cbc967a272dd92936812bd571fd4;hp=f03c7ca621827e95e7344980e1624422f4bd09c1;hpb=54210d33af73ae7c74f2d416ab0e7bd472379e12;p=c11tester.git

diff --git a/Makefile b/Makefile
index f03c7ca6..d74c3a3d 100644
--- a/Makefile
+++ b/Makefile
@@ -5,10 +5,11 @@ OBJECTS := libthreads.o schedule.o model.o threads.o librace.o action.o \
 	   datarace.o impatomic.o cmodelint.o \
 	   snapshot.o malloc.o mymemory.o common.o mutex.o conditionvariable.o \
 	   context.o execution.o libannotate.o plugins.o pthread.o futex.o fuzzer.o \
-	   sleeps.o history.o funcnode.o printf.o
+	   sleeps.o history.o funcnode.o funcinst.o predicate.o printf.o newfuzzer.o \
+	   concretepredicate.o waitobj.o hashfunction.o pipe.o
 
 CPPFLAGS += -Iinclude -I.
-LDFLAGS := -ldl -lrt -rdynamic
+LDFLAGS := -ldl -lrt -rdynamic -lpthread
 SHARED := -shared
 
 # Mac OSX options
@@ -36,6 +37,9 @@ README.html: README.md
 malloc.o: malloc.c
 	$(CC) -fPIC -c malloc.c -DMSPACES -DONLY_MSPACES -DHAVE_MMAP=1 $(CPPFLAGS) -Wno-unused-variable
 
+printf.o: printf.c
+	$(CC) -fPIC -c printf.c $(CPPFLAGS)
+
 futex.o: futex.cc
 	$(CXX) -fPIC -c futex.cc -std=c++11 $(CPPFLAGS)