Fix snapshot code
[model-checker.git] / scfence / Makefile
1 FENCE_OBJS := $(SCFENCE_DIR)/scgen.o \
2         $(SCFENCE_DIR)/inference.o \
3         $(SCFENCE_DIR)/inferset.o \
4         $(SCFENCE_DIR)/inferlist.o \
5         $(SCFENCE_DIR)/patch.o \
6         $(SCFENCE_DIR)/scfence.o
7
8 $(FENCE_OBJS): $(SCFENCE_DIR)/%.o : $(SCFENCE_DIR)/%.cc $(SCFENCE_DIR)/%.h
9         $(CXX) -MMD -MF $(SCFENCE_DIR)/.$(notdir $@).d -fPIC -c $< $(CPPFLAGS) -o $@
10
11 OBJECTS += $(FENCE_OBJS)