8 CPP_SOURCES := mymemory.cc context.cc snapshot.cc snapshot-interface.cc libinterface.cc execpoint.cc main.cc cmodelint.cc eprecord.cc epvalue.cc mcexecution.cc model.cc libthreads.cc mcschedule.cc common.cc threads.cc planner.cc cgoal.cc change.cc constgen.cc constraint.cc branchrecord.cc valuerecord.cc storeloadset.cc functionrecord.cc loadrf.cc schedulebuilder.cc equalsrecord.cc inc_solver.cc
11 TSO_OBJECTS := $(CPP_SOURCES:%.cc=$(TSO_DIR)/%.o) $(C_SOURCES:%.c=$(TSO_DIR)/%.o)
12 SC_OBJECTS := $(CPP_SOURCES:%.cc=$(SC_DIR)/%.o) $(C_SOURCES:%.c=$(SC_DIR)/%.o)
14 CPPFLAGS += -Iinclude -I.
15 LDFLAGS := -ldl -lrt -rdynamic
19 ifeq ($(UNAME), Darwin)
21 SHARED := -Wl,-undefined,dynamic_lookup -dynamiclib
26 MARKDOWN := doc/Markdown/Markdown.pl
28 all: directories $(TSO_LIB_SO) $(SC_LIB_SO)
30 directories: ${TSO_DIR} ${SC_DIR}
38 debug: CPPFLAGS += -DCONFIG_DEBUG
45 $(TSO_LIB_SO): $(TSO_OBJECTS)
46 $(CXX) -g $(SHARED) -o $(TSO_LIB_SO) $+ $(LDFLAGS)
48 $(SC_LIB_SO): $(SC_OBJECTS)
49 $(CXX) -g $(SHARED) -o $(SC_LIB_SO) $+ $(LDFLAGS)
52 $(CC) -fPIC -c $< -o $@ -DTSO -DMSPACES -DONLY_MSPACES -DHAVE_MMAP=0 $(CPPFLAGS) -Wno-unused-variable
55 $(CXX) -MMD -DTSO -MF $@.d -o $@ -fPIC -c $< $(CPPFLAGS)
58 $(CC) -fPIC -c $< -o $@ -DMSPACES -DONLY_MSPACES -DHAVE_MMAP=0 $(CPPFLAGS) -Wno-unused-variable
61 $(CXX) -MMD -MF $@.d -fPIC -o $@ -c $< $(CPPFLAGS)
66 -include $(TSO_OBJECTS:%=$TSO_DIR/.%.d)
67 -include $(SC_OBJECTS:%=$SC_DIR/.%.d)
71 rm -f *.o *.so *.pdf *.dot dimacs.cnf dimacs.out
72 rm -rf $(TSO_DIR) $(SC_DIR)
73 $(MAKE) -C $(TESTS_DIR) clean
85 $(MAKE) -C $(TESTS_DIR)
88 pdfs: $(patsubst %.dot,%.pdf,$(wildcard *.dot))
92 # A 1-inch margin PDF generated by 'pandoc'
94 pandoc -o $@ $< -V header-includes='\usepackage[margin=1in]{geometry}'