# Created by: Nicola Vitale # $FreeBSD: head/math/plman/Makefile 518482 2019-11-26 21:46:12Z jkim $ 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 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