COMMENT=		Library for Automated Deduction Research

DISTNAME=		LADR-Dec-2007
PKGNAME=		${DISTNAME:L:S/-Dec//}
REVISION =		3

SITES=			${HOMEPAGE}/download/

WANTLIB +=		c m

MODPY_RUNDEP=		No
UTIL_FILES=		utilities/attack \
			utilities/gvizify \
			utilities/looper \
			utilities/prover9-mace4

MAKE_FLAGS=		CC="${CC}" CFLAGS="${CFLAGS}"

TEST_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
	2to3 -wn --no-diffs ${WRKSRC}/$u
.endfor

do-build:
	@cd ${WRKSRC} && ${MAKE_ENV} ${MAKE_PROGRAM} ${MAKE_FLAGS} ${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-test:
	@cd ${WRKSRC} && ${MAKE_ENV} ${MAKE_PROGRAM} ${TEST_TARGET}

.include <bsd.port.mk>