From owner-freebsd-ports-bugs@FreeBSD.ORG Mon Dec 12 13:30:06 2005 Return-Path: X-Original-To: freebsd-ports-bugs@hub.freebsd.org Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 2B2C416A41F for ; Mon, 12 Dec 2005 13:30:06 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id 4E6FD43D67 for ; Mon, 12 Dec 2005 13:30:03 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.4/8.13.4) with ESMTP id jBCDU3id078785 for ; Mon, 12 Dec 2005 13:30:03 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.4/8.13.4/Submit) id jBCDU3F7078784; Mon, 12 Dec 2005 13:30:03 GMT (envelope-from gnats) Resent-Date: Mon, 12 Dec 2005 13:30:03 GMT Resent-Message-Id: <200512121330.jBCDU3F7078784@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, nivit@email.it (Nicola Vitale) Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id E074816A41F for ; Mon, 12 Dec 2005 13:22:34 +0000 (GMT) (envelope-from nivit@email.it) Received: from vsmtp14.tin.it (vsmtp14.tin.it [212.216.176.118]) by mx1.FreeBSD.org (Postfix) with ESMTP id 5417743D5F for ; Mon, 12 Dec 2005 13:22:34 +0000 (GMT) (envelope-from nivit@email.it) Received: from stellina (82.56.102.232) by vsmtp14.tin.it (7.2.060.1) id 438EF54E006FF076 for FreeBSD-gnats-submit@freebsd.org; Mon, 12 Dec 2005 14:22:45 +0100 Received: (qmail 30192 invoked by uid 0); 12 Dec 2005 13:20:20 -0000 Message-Id: <20051212132020.30191.qmail@fantasmagoria> Date: 12 Dec 2005 13:20:20 -0000 From: nivit@email.it (Nicola Vitale) To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Cc: Subject: ports/90277: [NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 12 Dec 2005 13:30:06 -0000 >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 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 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 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 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: