Add SCFence analysis

[model-checker.git] / scfence / Makefile

diff --git a/scfence/Makefile b/scfence/Makefile
new file mode 100644 (file)
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)