openbsd-ports/math/prover9/ladr/Makefile
jasper 2c96b38d8c import Prover9, Mace4, and several related programs come packaged in a system
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..
2011-03-07 22:26:24 +00:00

44 lines
1.1 KiB
Makefile

# $OpenBSD: Makefile,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
COMMENT= Library for Automated Deduction Research
DISTNAME= LADR-Dec-2007
PKGNAME= ${DISTNAME:L:S/-Dec//}
MASTER_SITES= http://www.cs.unm.edu/%7Emccune/prover9/download/
WANTLIB += c m
MODPY_RUNDEP= No
UTIL_FILES= utilities/attack \
utilities/gvizify \
utilities/looper \
utilities/prover9-mace4
MAKE_ENV+= XFLAGS="${CFLAGS}"
REGRESS_TARGET= test1 test2 test3
BIN_DIR= ${PREFIX}/libexec/prover9/
EXAMPLE_DIR= ${PREFIX}/share/examples/prover9/
pre-configure:
.for u in ${UTIL_FILES}
perl -pi -e 's,/usr/bin/python,${MODPY_BIN},g' ${WRKSRC}/$u
.endfor
do-build:
@cd ${WRKSRC} && ${MAKE_ENV} ${MAKE_PROGRAM} ${ALL_TARGET}
do-install:
${INSTALL_DATA_DIR} ${BIN_DIR} ${EXAMPLE_DIR}/{mace4,prover9}
${INSTALL_PROGRAM} ${WRKSRC}/bin/* ${BIN_DIR}
${INSTALL_SCRIPT} ${WRKSRC}/utilities/* ${EXAMPLE_DIR}
${INSTALL_DATA} ${WRKSRC}/mace4.examples/* ${EXAMPLE_DIR}/mace4/
${INSTALL_DATA} ${WRKSRC}/prover9.examples/* ${EXAMPLE_DIR}/prover9/
do-regress:
@cd ${WRKSRC} && ${MAKE_ENV} ${MAKE_PROGRAM} ${REGRESS_TARGET}
.include <bsd.port.mk>