openbsd-ports/math/prover9/Makefile
2022-03-11 19:36:11 +00:00

5 lines
81 B
Makefile

SUBDIR =
SUBDIR += ladr
SUBDIR += p9m4
.include <bsd.port.subdir.mk>