| Server IP : 82.208.35.60 / Your IP : 216.73.216.238 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/math/plman/ |
Upload File : |
PORTNAME= plman
PORTVERSION= 2.5.1
PORTREVISION= 2
CATEGORIES= math java
MASTER_SITES= http://${PORTNAME}.sourceforge.net/dist/ \
http://nivi.interfree.it/distfiles/${PORTNAME}.sourceforge.net/
DISTNAME= ${PORTNAME}${PORTVERSION:C/\./_/g}
MAINTAINER= nivit@FreeBSD.org
COMMENT= Propositional Logic sentence shell/interpreter
WWW= http://plman.sourceforge.net/
NO_BUILD= yes
USES= zip
USE_JAVA= yes
DATADIR= ${JAVASHAREDIR}/${PORTNAME}
REPLACE_FILES= ${WRKSRC}/bin/${PORTNAME}
WRKSRC= ${WRKDIR}/${PORTNAME}
FIND_DATA= lib
FIND_DOCS= docs
OPTIONS_DEFINE= DOCS
post-patch:
for FILE in ${REPLACE_FILES}; do \
${REINPLACE_CMD} -e "/%%DATADIR%%/s//${DATADIR:S/\//\\\//g}/g" $${FILE} ;\
done;
do-install:
${INSTALL_SCRIPT} ${WRKSRC}/bin/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
${MKDIR} ${STAGEDIR}${DATADIR}/${FIND_DATA}
cd ${WRKSRC} && ${FIND} ${FIND_DATA} -type f -exec ${INSTALL_DATA} {} ${STAGEDIR}${DATADIR}/{} \;
${MKDIR} ${STAGEDIR}${DOCSDIR}
cd ${WRKSRC}/${FIND_DOCS} && ${FIND} . -type f -exec ${INSTALL_DATA} {} ${STAGEDIR}${DOCSDIR}/{} \;
.include <bsd.port.mk>