Attachment 60070 Details for Bug 90277 – plman-2.5.1.shar

plman-2.5.1.shar

plman-2.5.1.shar (text/plain), 3.42 KB, created by Nicola Vitale on 2005-12-12 13:30:02 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Nicola Vitale

Created: 2005-12-12 13:30:02 UTC

Size: 3.42 KB

patch

obsolete

># 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@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@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@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@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@dirrm %%DATADIR%%/lib
>X@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

Actions: View

Attachments on bug 90277: 60070