CFA = my-cfa
DEPFLAGS = -MMD -MP
OPT = -O2
CFLAGS = $(OPT)
CXXFLAGS = $(OPT)

.PHONY: all clean distclean bench

all: c-bench cpp-bench cfa-bench

# rewrite object generation to auto-determine deps
COMPILE.c = $(CC) $(DEPFLAGS) $(CFLAGS) $(CPPFLAGS)
COMPILE.cpp = $(CXX) $(DEPFLAGS) $(CXXFLAGS) $(CPPFLAGS)
COMPILE.cfa = $(CFA) $(DEPFLAGS) $(CFLAGS) $(CPPFLAGS)

c-%.o : c-%.c
c-%.o : c-%.c c-%.d
	$(COMPILE.c) $(OUTPUT_OPTION) -c $<

cpp-%.o : cpp-%.cpp
cpp-%.o : cpp-%.cpp cpp-%.d
	$(COMPILE.cpp) $(OUTPUT_OPTION) -c $<

cfa-%.o : cfa-%.c
cfa-%.o : cfa-%.c cfa-%.d
	$(COMPILE.cfa) $(OUTPUT_OPTION) -c $<

COBJS = c-stack.o
CPPOBJS = 
CFAOBJS = cfa-stack.o

c-bench: c-bench.c c-bench.d $(COBJS)
	$(COMPILE.c) -o $@ $< $(COBJS) $(LDFLAGS)

cpp-bench: cpp-bench.cpp cpp-bench.d $(CPPOBJS)
	$(COMPILE.cpp) -o $@ $< $(CPPOBJS) $(LDFLAGS)

cfa-bench: cfa-bench.c cfa-bench.d $(CFAOBJS)
	$(COMPILE.cfa) -o $@ $< $(CFAOBJS) $(LDFLAGS)

clean:
	-rm $(COBJS) c-bench
	-rm $(CPPOBJS) cpp-bench
	-rm $(CFAOBJS) cfa-bench

distclean: clean
	-rm $(COBJS:.o=.d) c-bench.d
	-rm $(CPPOBJS:.o=.d) cpp-bench.d
	-rm $(CFAOBJS:.o=.d) cfa-bench.d

bench: c-bench cpp-bench cfa-bench
	@echo '## C ##'
	@./c-bench
	@echo '## C++ ##'
	@./cpp-bench
	@echo '## Cforall ##'
	@./cfa-bench

# so make doesn't fail without dependency files
%.d: ;

# so make won't delete dependency files
.PRECIOUS: %.d

# include dependency files
-include: $(COBJS:.o=.d)
-include: $(CPPOBJS:.o=.d)
-include: $(CFAOBJS:.o=.d)
-include: c-bench.d
-include: cpp-bench.d
-include: cfa-bench.d