diff options
author | obraun <obraun@FreeBSD.org> | 2002-10-26 01:02:42 +0800 |
---|---|---|
committer | obraun <obraun@FreeBSD.org> | 2002-10-26 01:02:42 +0800 |
commit | d8a2eef5bf1f0ee8bc71beb65ffeeb08ecedb467 (patch) | |
tree | 54c85214a51c3504f5293844ad76722c4936de96 /math/linux-relview | |
parent | 7906dc77fa7d44f67b82c081f11a4115ad6c0a2c (diff) | |
download | freebsd-ports-gnome-d8a2eef5bf1f0ee8bc71beb65ffeeb08ecedb467.tar.gz freebsd-ports-gnome-d8a2eef5bf1f0ee8bc71beb65ffeeb08ecedb467.tar.zst freebsd-ports-gnome-d8a2eef5bf1f0ee8bc71beb65ffeeb08ecedb467.zip |
Add linux-relview, an interactive tool for computer-supported
manipulation of relations.
PR: 44462
Submitted by: Michael Ebert <ebert@informatik.unibw-muenchen.de>
Diffstat (limited to 'math/linux-relview')
-rw-r--r-- | math/linux-relview/Makefile | 38 | ||||
-rw-r--r-- | math/linux-relview/distinfo | 1 | ||||
-rw-r--r-- | math/linux-relview/pkg-comment | 1 | ||||
-rw-r--r-- | math/linux-relview/pkg-descr | 10 | ||||
-rw-r--r-- | math/linux-relview/pkg-plist | 2 |
5 files changed, 52 insertions, 0 deletions
diff --git a/math/linux-relview/Makefile b/math/linux-relview/Makefile new file mode 100644 index 000000000000..1c089a880e8c --- /dev/null +++ b/math/linux-relview/Makefile @@ -0,0 +1,38 @@ +# New ports collection makefile for: relview +# Date created: October 24 2002 +# Whom: Michael Ebert <ebert@informatik.unibw-muenchen.de> +# +# $FreeBSD$ +# + +PORTNAME= relview +PORTVERSION= 7.0.2 +CATEGORIES= math linux +MASTER_SITES= ftp://ftp.informatik.uni-kiel.de/pub/kiel/relview/RELVIEW_7.0/LINUX/ +PKGNAMEPREFIX= linux- +EXTRACT_SUFX= .gz + +MAINTAINER= ebert@informatik.unibw-muenchen.de + +RUN_DEPENDS= ${LINUXBASE}/usr/lib/libgtk-1.2.so.0:${PORTSDIR}/x11-toolkits/linux-gtk + +USE_LINUX= yes +ONLY_FOR_ARCHS= i386 + +NO_WRKSUBDIR= yes +EXTRACT_AFTER_ARGS= > ${DISTNAME} + +NO_BUILD= yes + +PLIST_SUB= VERSION=${PORTVERSION} + +# Linux binary should not be stripped by INSTALL_PROGRAM +# because as a side effect it brands the binary as FreeBSD. +STRIP= # empty + +do-install: + brandelf -t Linux ${WRKDIR}/${DISTNAME} + ${INSTALL_PROGRAM} ${WRKDIR}/${DISTNAME} ${PREFIX}/bin + ${LN} -fhs ${PREFIX}/bin/${DISTNAME} ${PREFIX}/bin/${PORTNAME} + +.include <bsd.port.mk> diff --git a/math/linux-relview/distinfo b/math/linux-relview/distinfo new file mode 100644 index 000000000000..b24faf66c86b --- /dev/null +++ b/math/linux-relview/distinfo @@ -0,0 +1 @@ +MD5 (relview-7.0.2.gz) = a2acd89c12546f12a8f337d1237e5688 diff --git a/math/linux-relview/pkg-comment b/math/linux-relview/pkg-comment new file mode 100644 index 000000000000..e22e5d16f566 --- /dev/null +++ b/math/linux-relview/pkg-comment @@ -0,0 +1 @@ +An interactive tool for manipulation of relations diff --git a/math/linux-relview/pkg-descr b/math/linux-relview/pkg-descr new file mode 100644 index 000000000000..5753e28d3aa6 --- /dev/null +++ b/math/linux-relview/pkg-descr @@ -0,0 +1,10 @@ +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 + +- Michael Ebert +ebert@informatik.unibw-muenchen.de diff --git a/math/linux-relview/pkg-plist b/math/linux-relview/pkg-plist new file mode 100644 index 000000000000..7c51caf57041 --- /dev/null +++ b/math/linux-relview/pkg-plist @@ -0,0 +1,2 @@ +bin/relview +bin/relview-%%VERSION%% |