[pkgsrc/trunk]: pkgsrc/devel/rsltc Import rsltc-2.4, provided by Marko Schütz...

[wiz <wiz%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/f39a75c7a3fd
branches:  trunk
changeset: 484828:f39a75c7a3fd
user:      wiz <wiz%pkgsrc.org@localhost>
date:      Tue Nov 30 08:24:18 2004 +0000

description:
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.

diffstat:

 devel/rsltc/DESCR            |   3 +++
 devel/rsltc/Makefile         |  31 +++++++++++++++++++++++++++++++
 devel/rsltc/PLIST            |  11 +++++++++++
 devel/rsltc/distinfo         |   5 +++++
 devel/rsltc/patches/patch-aa |  25 +++++++++++++++++++++++++
 5 files changed, 75 insertions(+), 0 deletions(-)

diffs (95 lines):

diff -r 35c452cf2f37 -r f39a75c7a3fd devel/rsltc/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/rsltc/DESCR Tue Nov 30 08:24:18 2004 +0000
@@ -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 -r 35c452cf2f37 -r f39a75c7a3fd devel/rsltc/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/rsltc/Makefile      Tue Nov 30 08:24:18 2004 +0000
@@ -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@localhost
+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 -r 35c452cf2f37 -r f39a75c7a3fd devel/rsltc/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/rsltc/PLIST Tue Nov 30 08:24:18 2004 +0000
@@ -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 -r 35c452cf2f37 -r f39a75c7a3fd devel/rsltc/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/rsltc/distinfo      Tue Nov 30 08:24:18 2004 +0000
@@ -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 -r 35c452cf2f37 -r f39a75c7a3fd devel/rsltc/patches/patch-aa
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/rsltc/patches/patch-aa      Tue Nov 30 08:24:18 2004 +0000
@@ -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@localhost
+ 
+-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