2c96b38d8c
called LADR (Library for Automated Deduction Research). split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr) ok aja@ and thanks to landry@/robert@ too for putting up with my ranting about this..
7 lines
146 B
Makefile
7 lines
146 B
Makefile
# $OpenBSD: Makefile,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
|
|
|
|
SUBDIR =
|
|
SUBDIR += ladr
|
|
SUBDIR += p9m4
|
|
|
|
.include <bsd.port.subdir.mk> |