X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=scfence%2FMakefile;fp=scfence%2FMakefile;h=d0cc313661460267fa6c38839ab60eace8ce4905;hp=0000000000000000000000000000000000000000;hb=a65e234b607444355eb6e34097ee55ba93d4c01b;hpb=7c510878f9679da10de79c289df402356b092396

diff --git a/scfence/Makefile b/scfence/Makefile
new file mode 100644
index 0000000..d0cc313
--- /dev/null
+++ b/scfence/Makefile
@@ -0,0 +1,11 @@
+FENCE_OBJS := $(SCFENCE_DIR)/scgen.o \
+	$(SCFENCE_DIR)/inference.o \
+	$(SCFENCE_DIR)/inferset.o \
+	$(SCFENCE_DIR)/inferlist.o \
+	$(SCFENCE_DIR)/patch.o \
+	$(SCFENCE_DIR)/scfence.o
+
+$(FENCE_OBJS): $(SCFENCE_DIR)/%.o : $(SCFENCE_DIR)/%.cc $(SCFENCE_DIR)/%.h
+	$(CXX) -MMD -MF $(SCFENCE_DIR)/.$(notdir $@).d -fPIC -c $< $(CPPFLAGS) -o $@
+
+OBJECTS += $(FENCE_OBJS)