Date: 12 Dec 2005 13:20:20 -0000 From: nivit@email.it (Nicola Vitale) To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/90277: [NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter Message-ID: <20051212132020.30191.qmail@fantasmagoria> Resent-Message-ID: <200512121330.jBCDU3F7078784@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>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@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@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 --- plman-2.5.1.shar ends here --- >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20051212132020.30191.qmail>