Date: Fri, 25 Oct 2002 15:39:04 +0200 (CEST) From: Michael Ebert <ebert@informatik.unibw-muenchen.de> To: FreeBSD-gnats-submit@FreeBSD.org Cc: Oliver Braun <obraun@informatik.unibw-muenchen.de> Subject: ports/44462: New port: relview an interactive tool for manipulation of relations Message-ID: <20021025133904.589663FB1@daidalos.informatik.unibw-muenchen.de>
next in thread | raw e-mail | index | archive | help
>Number: 44462 >Category: ports >Synopsis: New port: relview an interactive tool for manipulation of relations >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Fri Oct 25 06:50:01 PDT 2002 >Closed-Date: >Last-Modified: >Originator: Michael Ebert >Release: FreeBSD 4.7-STABLE i386 >Organization: >Environment: System: FreeBSD daidalos.informatik.unibw-muenchen.de 4.7-STABLE FreeBSD 4.7-STABLE #1: Tue Oct 22 18:56:15 CEST 2002 ebert@daidalos.informatik.unibw-muenchen.de:/usr/obj/usr/src/sys/DAIDALOS i386 >Description: The RelView-System is an interactive tool for computer-supported manipulation of relations represented as Boolean matrices or directed graphs, especially for prototyping relational specifications and programs. It is developed at the Department of Computer Science and Applied Mathematics of Christian-Albrechts-University of Kiel. WWW: http://www.informatik.uni-kiel.de/~progsys/relview.shtml >How-To-Repeat: >Fix: # 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: # # linux-relview # linux-relview/Makefile # linux-relview/distinfo # linux-relview/pkg-comment # linux-relview/pkg-descr # linux-relview/pkg-plist # echo c - linux-relview mkdir -p linux-relview > /dev/null 2>&1 echo x - linux-relview/Makefile sed 's/^X//' >linux-relview/Makefile << 'END-of-linux-relview/Makefile' X# New ports collection makefile for: relview X# Date created: October 24 2002 X# Whom: Michael Ebert <ebert@informatik.unibw-muenchen.de> X# X# $FreeBSD$ X# X XPORTNAME= relview XPORTVERSION= 7.0.2 XCATEGORIES= math linux XMASTER_SITES= ftp://ftp.informatik.uni-kiel.de/pub/kiel/relview/RELVIEW_7.0/LINUX/ XPKGNAMEPREFIX= linux- XEXTRACT_SUFX= .gz X XMAINTAINER= ebert@informatik.unibw-muenchen.de X XRUN_DEPENDS= ${LINUXBASE}/usr/lib/libgtk-1.2.so.0:${PORTSDIR}/x11-toolkits/linux-gtk X XUSE_LINUX= yes XONLY_FOR_ARCHS= i386 X XNO_WRKSUBDIR= yes XEXTRACT_AFTER_ARGS= > ${DISTNAME} X XNO_BUILD= yes X XPLIST_SUB= VERSION=${PORTVERSION} X X# Linux binary should not be stripped by INSTALL_PROGRAM X# because as a side effect it brands the binary as FreeBSD. XSTRIP= # empty X Xdo-install: X brandelf -t Linux ${WRKDIR}/${DISTNAME} X ${INSTALL_PROGRAM} ${WRKDIR}/${DISTNAME} ${PREFIX}/bin X ${LN} -fhs ${PREFIX}/bin/${DISTNAME} ${PREFIX}/bin/${PORTNAME} X X.include <bsd.port.mk> END-of-linux-relview/Makefile echo x - linux-relview/distinfo sed 's/^X//' >linux-relview/distinfo << 'END-of-linux-relview/distinfo' XMD5 (relview-7.0.2.gz) = a2acd89c12546f12a8f337d1237e5688 END-of-linux-relview/distinfo echo x - linux-relview/pkg-comment sed 's/^X//' >linux-relview/pkg-comment << 'END-of-linux-relview/pkg-comment' XAn interactive tool for manipulation of relations END-of-linux-relview/pkg-comment echo x - linux-relview/pkg-descr sed 's/^X//' >linux-relview/pkg-descr << 'END-of-linux-relview/pkg-descr' XThe RelView-System is an interactive tool for computer-supported Xmanipulation of relations represented as Boolean matrices or directed Xgraphs, especially for prototyping relational specifications and Xprograms. It is developed at the Department of Computer Science and XApplied Mathematics of Christian-Albrechts-University of Kiel. X XWWW: http://www.informatik.uni-kiel.de/~progsys/relview.shtml X X- Michael Ebert Xebert@informatik.unibw-muenchen.de END-of-linux-relview/pkg-descr echo x - linux-relview/pkg-plist sed 's/^X//' >linux-relview/pkg-plist << 'END-of-linux-relview/pkg-plist' Xbin/relview Xbin/relview-%%VERSION%% END-of-linux-relview/pkg-plist exit >Release-Note: >Audit-Trail: >Unformatted: To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20021025133904.589663FB1>