projects / cvc5.git / blob
? search:


7e97ed35780f9676eaf247feb0c89705257f7c7a
[cvc5.git] / src / parser / smt / Makefile
1 topdir = ../../..
2 srcdir = src/parser/smt
3
4 include $(topdir)/Makefile.subdir