projects / cvc5.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
fixes to build structure, util classes, lots of fixes to Node and NodeBuilder. outst...
[cvc5.git] / src / prop / Makefile
1 topdir = ../..
2 srcdir = src/prop
3
4 include $(topdir)/Makefile.subdir