Import rsltc-2.4, provided by Marko Schütz in PR 28405.

rsltc provides type-checking, pretty-printing, generation of confidence 
conditions, showing module dependencies, translation to Standard ML, to 
C++, and to PVS, and translation to RSL from UML class diagrams. 

5 files changed, 75 insertions, 0 deletions

diff --git a/devel/rsltc/DESCR b/devel/rsltc/DESCR
new file mode 100644
index 00000000000..90b49662530
--- /dev/null
+++ b/devel/rsltc/DESCR
@@ -0,0 +1,3 @@
+rsltc provides type-checking, pretty-printing, generation of confidence 
+conditions, showing module dependencies, translation to Standard ML, to 
+C++, and to PVS, and translation to RSL from UML class diagrams. 
diff --git a/devel/rsltc/Makefile b/devel/rsltc/Makefile
new file mode 100644
index 00000000000..358743fec39
--- /dev/null
+++ b/devel/rsltc/Makefile
@@ -0,0 +1,31 @@
+# $NetBSD: Makefile,v 1.1.1.1 2004/11/30 08:24:18 wiz Exp $
+#
+
+DISTNAME=		rsltcsrc
+PKGNAME=		rsltc-2.4
+CATEGORIES=		devel
+MASTER_SITES=		http://www.iist.unu.edu/newrh/III/3/1/docs/rsltc/source/
+EXTRACT_SUFX=		.tgz
+
+MAINTAINER=		MarkoSchuetz@web.de
+HOMEPAGE=		http://www.iist.unu.edu/newrh/III/3/1/page.html
+COMMENT=		RAISE Specification Language Type Checker
+
+DEPENDS+=		gentle>=97:../../devel/gentle
+
+MAKEFILE=		make_sunos
+USE_GNU_TOOLS+=		make
+USE_BUILDLINK3=		yes
+WRKSRC=			${WRKDIR}/rsl.2.4
+
+do-install:
+	${INSTALL_PROGRAM} ${WRKSRC}/rsltc ${PREFIX}/bin
+	${INSTALL_DATA_DIR} ${PREFIX}/share/emacs/site-lisp/rsl
+	(cd ${WRKSRC} ; for i in rsltc.el tokenise.el rslconvert.el rsl-mode.el ; do\
+		${EMACS_BIN} -batch -f batch-byte-compile $$i ;\
+		${INSTALL_DATA} $$i ${PREFIX}/share/emacs/site-lisp/rsl ;\
+		${INSTALL_DATA} $${i}c ${PREFIX}/share/emacs/site-lisp/rsl ;\
+	done)
+
+.include "../../mk/emacs.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/devel/rsltc/PLIST b/devel/rsltc/PLIST
new file mode 100644
index 00000000000..ba4deb58e16
--- /dev/null
+++ b/devel/rsltc/PLIST
@@ -0,0 +1,11 @@
+@comment $NetBSD: PLIST,v 1.1.1.1 2004/11/30 08:24:18 wiz Exp $
+bin/rsltc
+share/emacs/site-lisp/rsl/rsl-mode.el
+share/emacs/site-lisp/rsl/rsl-mode.elc
+share/emacs/site-lisp/rsl/rslconvert.el
+share/emacs/site-lisp/rsl/rslconvert.elc
+share/emacs/site-lisp/rsl/rsltc.el
+share/emacs/site-lisp/rsl/rsltc.elc
+share/emacs/site-lisp/rsl/tokenise.el
+share/emacs/site-lisp/rsl/tokenise.elc
+@dirrm share/emacs/site-lisp/rsl
diff --git a/devel/rsltc/distinfo b/devel/rsltc/distinfo
new file mode 100644
index 00000000000..4674c770156
--- /dev/null
+++ b/devel/rsltc/distinfo
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1.1.1 2004/11/30 08:24:18 wiz Exp $
+
+SHA1 (rsltcsrc.tgz) = 8de5c1de5def8766b5df5d8d4a247f941c84a3d6
+Size (rsltcsrc.tgz) = 382133 bytes
+SHA1 (patch-aa) = de51a067a677c99838ccbb800e08c803c240e008
diff --git a/devel/rsltc/patches/patch-aa b/devel/rsltc/patches/patch-aa
new file mode 100644
index 00000000000..cfcfa42ff65
--- /dev/null
+++ b/devel/rsltc/patches/patch-aa
@@ -0,0 +1,25 @@
+$NetBSD: patch-aa,v 1.1.1.1 2004/11/30 08:24:18 wiz Exp $
+
+--- make_sunos.orig	2003-11-21 21:00:25.000000000 +1200
++++ make_sunos
+@@ -2,15 +2,15 @@
+ #
+ # 5 February 1998, raise@iist.unu.edu
+ 
+-GENTLE_DIR =   -- where Gentle is installed
+-GENTLE = $(GENTLE_DIR)/gentle/gentle
+-GRTS = $(GENTLE_DIR)/gentle/grts.o
+-REFLEX = $(GENTLE_DIR)/reflex/reflex
++#GENTLE_DIR =   -- where Gentle is installed
++GENTLE = gentle
++GRTS = ${PREFIX}/lib/grts.o
++REFLEX = reflex
+ LEX_YY = lex.yy
+ GEN_TAB = gen.tab
+ LEX = flex
+ YACC = bison
+-CC = gcc
++CC = cc
+ RM_CMD = rm -f
+ PGM = rsltc
+ FILES_FLAGS = -DPATH_MAX=1000