Add linux-relview, an interactive tool for computer-supported

manipulation of relations.

PR:		44462
Submitted by:	Michael Ebert <ebert@informatik.unibw-muenchen.de>

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%%