summaryrefslogtreecommitdiff
path: root/devel/rsltc
diff options
context:
space:
mode:
authorwiz <wiz>2004-11-30 08:24:18 +0000
committerwiz <wiz>2004-11-30 08:24:18 +0000
commitceb0dd4a4a958d6b8b26060ec611686947d3c86b (patch)
tree1a4f7648df1ba576709ebe0ac11d7d36912a8afc /devel/rsltc
parent263cb954d7f418bedeb0db87059b4b5f33129210 (diff)
downloadpkgsrc-ceb0dd4a4a958d6b8b26060ec611686947d3c86b.tar.gz
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 (limited to 'devel/rsltc')
-rw-r--r--devel/rsltc/DESCR3
-rw-r--r--devel/rsltc/Makefile31
-rw-r--r--devel/rsltc/PLIST11
-rw-r--r--devel/rsltc/distinfo5
-rw-r--r--devel/rsltc/patches/patch-aa25
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