finally it compiles
[prop.git] / lib-src / symbolic / Makefile.mk
blobe1fbfabf3c609ba3ed76897eda8b4ed4fb856f8a
1 D := $(ad)/symbolic
2 S := symbolic
4 SRC += $S/bdd.cc $S/expr.cc $S/string.cc $S/atom.cc $S/term.cc $S/fouriermotzkin.$(OBJ)
6 $S/bdd.$(OBJ): $S/bdd.cc $D/bdd.h $(ad)/generic/generic.h
7 $S/expr.$(OBJ): $S/expr.cc $D/expr.h $(ad)/generic/generic.h
8 $S/string.$(OBJ): $S/string.cc $D/expr.h $D/string.h $(ad)/generic/generic.h \
9 $(ad)/strings/string.h
10 $S/atom.$(OBJ): $S/atom.cc $D/atom.h $D/expr.h $D/string.h $(ad)/generic/generic.h \
11 $(ad)/strings/string.h
12 $S/term.$(OBJ): $S/term.cc $D/term.h $D/expr.h $(ad)/generic/generic.h
13 $S/fouriermotzkin.$(OBJ): $S/fouriermotzkin.cc $D/fouriermotzkin.h \
14 $(ad)/generic/generic.h $(ad)/memory/mem.h