ports/90277: [NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter

[Nicola Vitale]

>Number:         90277
>Category:       ports
>Synopsis:       [NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Mon Dec 12 13:30:02 GMT 2005
>Closed-Date:
>Last-Modified:
>Originator:     Nicola Vitale
>Release:        FreeBSD 5.4-RELEASE-p8 i386
>Organization:
>Environment:

System: FreeBSD stellina.domo.sva 5.4-RELEASE-p8 FreeBSD 5.4-RELEASE-p8 #4: Mon Nov 28 10:22:09 CET 2005

>Description:

PLMan, or Propositional LogicMan, is a user-friendly and powerful
propositional logic (sometimes called sentential logic or
propositional calculus) sentence shell/interpreter written in Java,
capable of handling many existing propositional systems of
propositional logic, especially the important ones.

Author:	Takayuki Hoshi <hoshi103 at chapman.edu>
WWW:	http://plman.sourceforge.net/

Generated with FreeBSD Port Tools 0.63

>How-To-Repeat:
>Fix:

--- plman-2.5.1.shar begins here ---
# This is a shell archive.  Save it in a file, remove anything before
# this line, and then unpack it by entering "sh file".  Note, it may
# create directories; files and directories will be owned by you and
# have default permissions.
#
# This archive contains:
#
#	plman
#	plman/pkg-descr
#	plman/Makefile
#	plman/pkg-plist
#	plman/distinfo
#	plman/files
#	plman/files/patch-bin-plman
#
echo c - plman
mkdir -p plman > /dev/null 2>&1
echo x - plman/pkg-descr
sed 's/^X//' >plman/pkg-descr << 'END-of-plman/pkg-descr'
XPLMan, or Propositional LogicMan, is a user-friendly and powerful
Xpropositional logic (sometimes called sentential logic or
Xpropositional calculus) sentence shell/interpreter written in Java,
Xcapable of handling many existing propositional systems of
Xpropositional logic, especially the important ones.
X
XAuthor:	Takayuki Hoshi <hoshi103 at chapman.edu>
XWWW:	http://plman.sourceforge.net/
END-of-plman/pkg-descr
echo x - plman/Makefile
sed 's/^X//' >plman/Makefile << 'END-of-plman/Makefile'
X# New ports collection makefile for:	plman
X# Date created:		2005-12-12
X# Whom:			Nicola Vitale <nivit at email.it>
X#
X# $FreeBSD$
X#
X
XPORTNAME=	plman
XPORTVERSION=	2.5.1
XCATEGORIES=	math java
XMASTER_SITES=	http://${PORTNAME}.sourceforge.net/dist/ \
X		http://nivi.interfree.it/distfiles/${PORTNAME}.sourceforge.net/
XDISTNAME=	${PORTNAME}${PORTVERSION:C/\./_/g}
XEXTRACT_SUFX=	.zip
X
XMAINTAINER=	nivit at email.it
XCOMMENT=	A Propositional Logic sentence shell/interpreter
X
XRUN_DEPENDS=	java:${PORTSDIR}/java/javavmwrapper
X
XNO_BUILD=	yes
X
XUSE_JAVA=	yes
XUSE_REINPLACE=	yes
XUSE_ZIP=	yes
X
XJAVA_VERSION=	1.4+
XDATADIR=	${JAVASHAREDIR}/${PORTNAME}
XREPLACE_FILES=	${WRKSRC}/bin/${PORTNAME}
XWRKSRC=	${WRKDIR}/${PORTNAME}
X
XFIND_DATA=	lib
XFIND_DOCS=	docs
X
Xpost-patch:
X	for FILE in ${REPLACE_FILES}; do \
X	    ${REINPLACE_CMD} -e "/%%DATADIR%%/s//${DATADIR:S/\//\\\//g}/g" $${FILE} ;\
X	done;
X
Xdo-install:
X	${INSTALL_SCRIPT} ${WRKSRC}/bin/${PORTNAME} ${PREFIX}/bin/${PORTNAME}
X	${MKDIR} ${DATADIR}/${FIND_DATA}
X	cd ${WRKSRC} && ${FIND} ${FIND_DATA} -type f -exec ${INSTALL_DATA} {} ${DATADIR}/{} \;
X.if !defined(NOPORTDOCS)
X	${MKDIR} ${DOCSDIR}
X	cd ${WRKSRC}/${FIND_DOCS} && ${FIND} . -type f -exec ${INSTALL_DATA} {} ${DOCSDIR}/{} \;
X.endif
X
X.include <bsd.port.mk>
END-of-plman/Makefile
echo x - plman/pkg-plist
sed 's/^X//' >plman/pkg-plist << 'END-of-plman/pkg-plist'
X at comment $FreeBSD$
Xbin/plman
X%%PORTDOCS%%%%DOCSDIR%%/PLMan_Users_Manual.pdf
X%%DATADIR%%/lib/ant.jar
X%%DATADIR%%/lib/plman.jar
X%%PORTDOCS%%@dirrm %%DOCSDIR%%
X at dirrm %%DATADIR%%/lib
X at dirrm %%DATADIR%%
END-of-plman/pkg-plist
echo x - plman/distinfo
sed 's/^X//' >plman/distinfo << 'END-of-plman/distinfo'
XMD5 (plman2_5_1.zip) = c10b7e110a266360edfc72be23df7f50
XSHA256 (plman2_5_1.zip) = b558d6b1afbdc0ed06a0c920ff8bdc7b7502c6ced968302300074c7867111a88
XSIZE (plman2_5_1.zip) = 1372138
END-of-plman/distinfo
echo c - plman/files
mkdir -p plman/files > /dev/null 2>&1
echo x - plman/files/patch-bin-plman
sed 's/^X//' >plman/files/patch-bin-plman << 'END-of-plman/files/patch-bin-plman'
X$FreeBSD$
X--- bin/plman	Tue Nov 23 11:32:50 2004
X+++ bin/plman.port	Mon Dec 12 12:57:36 2005
X@@ -1,6 +1,6 @@
X #! /bin/sh
X 
X-PLMAN_PATH='MODIFY HERE!!'		# Example: ~/bin/plman
X+PLMAN_PATH='%%DATADIR%%'		# Example: ~/bin/plman
X 
X # Execute plman
X java -classpath "${PLMAN_PATH}/lib/plman.jar":"${PLMAN_PATH}/lib/ant.jar" PropositionalLogicParser $*
END-of-plman/files/patch-bin-plman
exit
--- plman-2.5.1.shar ends here ---

>Release-Note:
>Audit-Trail:
>Unformatted: