mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-25 04:43:33 +00:00
91d97411ae
PR: 211903 Submitted by: Greg V <greg@unrelenting.technology> Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D13150
49 lines
1.2 KiB
Makefile
49 lines
1.2 KiB
Makefile
# $FreeBSD$
|
|
|
|
PORTNAME= eprover
|
|
DISTVERSIONPREFIX= E-
|
|
DISTVERSION= 2.0
|
|
CATEGORIES= math
|
|
|
|
MAINTAINER= greg@unrelenting.technology
|
|
COMMENT= Theorem prover for full first-order logic with equality
|
|
|
|
LICENSE= LGPL20+ GPLv2+
|
|
LICENSE_COMB= dual
|
|
LICENSE_FILE= ${WRKSRC}/COPYING
|
|
|
|
BUILD_DEPENDS= bash:shells/bash \
|
|
help2man:misc/help2man
|
|
RUN_DEPENDS= bash:shells/bash
|
|
|
|
USES= shebangfix
|
|
USE_GITHUB= yes
|
|
|
|
HAS_CONFIGURE= yes
|
|
CONFIGURE_ARGS= --bindir=${STAGEDIR}${PREFIX}/bin/ \
|
|
--man-prefix=${STAGEDIR}${PREFIX}/man/man1/
|
|
SHEBANG_FILES= PROVER/eproof PROVER/eproof_ram
|
|
|
|
post-build:
|
|
@cd ${WRKSRC} && ${MAKE} man
|
|
@${REINPLACE_CMD} -e 's|EXECPATH=.|EXECPATH=${PREFIX}/bin|' \
|
|
${WRKSRC}/PROVER/eproof ${WRKSRC}/PROVER/eproof_ram
|
|
|
|
post-install:
|
|
.for f in checkproof e_axfilter e_deduction_server e_ltb_runner eground \
|
|
ekb_create ekb_delete ekb_ginsert ekb_insert epclextract eprover
|
|
@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/${f}
|
|
.endfor
|
|
|
|
.include <bsd.port.pre.mk>
|
|
|
|
.if ${OPSYS} == FreeBSD && ${OSVERSION} < 1100000
|
|
# the default compiler hangs on 10
|
|
BUILD_DEPENDS+= clang40:devel/llvm40
|
|
RUN_DEPENDS+= clang40:devel/llvm40
|
|
CC= clang40
|
|
CXX= clang++40
|
|
.endif
|
|
|
|
.include <bsd.port.post.mk>
|