source: doc/generic_types/evaluation/Makefile @ 122aecd

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