gcc config
[prop.git] / lib-src / csp / Makefile.mk
blobcaedb29400dae392c6b391da252962b1ab87ff08
1 D := $(ad)/csp
2 S := csp
4 SRC += $S/trail.cc $S/logicalterm.cc
6 $S/trail.$(OBJ): $S/trail.cc $D/logicalterm.h $D/trail.h $(ad)/memory/mem.h \
7 $(ad)/memory/mempool.h $(ad)/generic/generic.h
9 $S/logicalterm.$(OBJ): $S/logicalterm.cc $D/logicalterm.h $D/trail.h $(ad)/memory/mem.h \
10 $(ad)/memory/mempool.h $(ad)/generic/generic.h