summaryrefslogtreecommitdiff
path: root/lang/hope
diff options
context:
space:
mode:
authorYing-Chieh Liao <ijliao@FreeBSD.org>2001-10-17 18:21:24 +0000
committerYing-Chieh Liao <ijliao@FreeBSD.org>2001-10-17 18:21:24 +0000
commit1e62d386aa678f4698188adf0465348db1044e7b (patch)
tree8731560c103645aecbb5fd18075972fa1b9b7738 /lang/hope
parentfix some maps which are truncated in the official distribution (diff)
add hope
Hope is lazy interpriter for HOPE applicative language PR: 30799 Submitted by: Lev Serebryakov <lev@serebryakov.spb.ru>
Notes
Notes: svn path=/head/; revision=48875
Diffstat (limited to 'lang/hope')
-rw-r--r--lang/hope/Makefile40
-rw-r--r--lang/hope/distinfo1
-rw-r--r--lang/hope/files/patch-Makefile36
-rw-r--r--lang/hope/files/patch-doc:Makefile.in19
-rw-r--r--lang/hope/pkg-comment1
-rw-r--r--lang/hope/pkg-descr8
-rw-r--r--lang/hope/pkg-plist92
7 files changed, 197 insertions, 0 deletions
diff --git a/lang/hope/Makefile b/lang/hope/Makefile
new file mode 100644
index 000000000000..e97ab93f9ac9
--- /dev/null
+++ b/lang/hope/Makefile
@@ -0,0 +1,40 @@
+# New ports collection makefile for: hope
+# Date created: 24 September 2001
+# Whom: Lev Serebryakov <lev@serebryakov.spb.ru>
+#
+# $FreeBSD$
+#
+
+PORTNAME= hope
+PORTVERSION= 0.0
+CATEGORIES= lang
+MASTER_SITES= http://www.soi.city.ac.uk/~ross/Hope/
+DISTNAME= ${PORTNAME}
+
+MAINTAINER= lev@serebryakov.spb.ru
+
+.if defined(WITH_DOCS)
+BUILD_DEPENDS+= latex:${PORTSDIR}/print/teTeX \
+ latex2html:${PORTSDIR}/textproc/latex2html
+MAKE_ARGS+= WITH_DOCS=yes
+.else
+NOPORTDOCS= yes
+.endif
+
+GNU_CONFIGURE= yes
+USE_GMAKE= yes
+
+MAN1= hope.1
+
+pre-fetch:
+.if !defined(WITH_DOCS)
+ @${ECHO} ""
+ @${ECHO} " If you want to build and install documentation"
+ @${ECHO} " you should use WITH_DOCS build option"
+ @${ECHO} ""
+ @${ECHO} " Documentation is not builded by default because"
+ @${ECHO} " it needs latex and latex2html"
+ @${ECHO} ""
+.endif
+
+.include <bsd.port.mk>
diff --git a/lang/hope/distinfo b/lang/hope/distinfo
new file mode 100644
index 000000000000..4ab67eee182b
--- /dev/null
+++ b/lang/hope/distinfo
@@ -0,0 +1 @@
+MD5 (hope.tar.gz) = 4ef57ca58da48486b28ba6093f6d2562
diff --git a/lang/hope/files/patch-Makefile b/lang/hope/files/patch-Makefile
new file mode 100644
index 000000000000..86254939d05f
--- /dev/null
+++ b/lang/hope/files/patch-Makefile
@@ -0,0 +1,36 @@
+--- Makefile.orig Mon Sep 24 22:45:30 2001
++++ Makefile Mon Sep 24 22:47:52 2001
+@@ -1,23 +1,27 @@
+ SHELL = /bin/sh
+
+ configure_args =
+-dirs = doc lib src
++dirs = lib src
++
++ifeq (yes,$(WITH_DOCS))
++dirs += doc
++endif
+
+ all: config.status
+- for dir in $(dirs); do (cd $$dir; make all); done
++ for dir in $(dirs); do (cd $$dir; $(MAKE) all); done
+
+ install: config.status
+- for dir in $(dirs); do (cd $$dir; make install); done
++ for dir in $(dirs); do (cd $$dir; $(MAKE) install); done
+
+ clean: config.status
+- for dir in $(dirs); do (cd $$dir; make clean); done
++ for dir in $(dirs); do (cd $$dir; $(MAKE) clean); done
+
+ distclean: config.status
+- for dir in $(dirs); do (cd $$dir; make distclean); done
++ for dir in $(dirs); do (cd $$dir; $(MAKE) distclean); done
+ rm -f config.cache config.log config.status
+
+ clobber: config.status
+- for dir in $(dirs); do (cd $$dir; make clobber); done
++ for dir in $(dirs); do (cd $$dir; $(MAKE) clobber); done
+ for dir in $(dirs); do rm -f $$dir/Makefile; done
+ rm -f src/config.h src/config.h.in src/stamp-h.in
+ rm -f config.cache config.log config.status
diff --git a/lang/hope/files/patch-doc:Makefile.in b/lang/hope/files/patch-doc:Makefile.in
new file mode 100644
index 000000000000..0cc6ac6e804a
--- /dev/null
+++ b/lang/hope/files/patch-doc:Makefile.in
@@ -0,0 +1,19 @@
+--- doc/Makefile.in.orig Sat Apr 17 04:14:06 1999
++++ doc/Makefile.in Tue Sep 25 00:12:51 2001
+@@ -58,7 +58,7 @@
+ sed -n 's/^#define[ ][ ]*\(M[IA][NX]PREC\)[ ][ ]*\([0-9]*\).*/\\newcommand{\\\1}{\2}/p' ../src/op.h >$@
+
+ ../src/op.h:
+- cd ../src; make op.h
++ cd ../src; $(MAKE) op.h
+
+ # can't use echo here as BSD and SYSV versions treat backslashes differently.
+ Standard.tex: ../lib/Standard.hop h2l.awk
+@@ -83,6 +83,7 @@
+ for file in $(docs); do gzip <$$file >$(docdir)/$$file.gz; done
+ $(INSTALL) -d $(htmldir)
+ for dir in $(dirs); do rm -rf $(htmldir)/$$dir; done
++ for dir in $(dirs); do rm -rf $$dir/*.pl $$dir/WARNINGS; done
+ cp -r $(dirs) $(htmldir)
+ # cp $(src_srcs) $(srcdir)
+
diff --git a/lang/hope/pkg-comment b/lang/hope/pkg-comment
new file mode 100644
index 000000000000..aee7b8c9338d
--- /dev/null
+++ b/lang/hope/pkg-comment
@@ -0,0 +1 @@
+Hope is lazy interpriter for HOPE applicative language
diff --git a/lang/hope/pkg-descr b/lang/hope/pkg-descr
new file mode 100644
index 000000000000..72d631714349
--- /dev/null
+++ b/lang/hope/pkg-descr
@@ -0,0 +1,8 @@
+HOPE is simple applicative (functional) language.
+It was been used in "Functional Programming" book by Anthony J. Field and
+Peter G. Harrison.
+
+This port installs simple lazy interpreter of hope.
+Author of this interpiter is Ross Paterson <ross@soi.city.ac.uk>.
+
+WWW: http://www.soi.city.ac.uk/~ross/Hope/
diff --git a/lang/hope/pkg-plist b/lang/hope/pkg-plist
new file mode 100644
index 000000000000..853da3dad5c4
--- /dev/null
+++ b/lang/hope/pkg-plist
@@ -0,0 +1,92 @@
+bin/hope
+share/hope/lib.new/Standard.hop
+share/hope/lib/Standard.hop
+share/hope/lib/arith.hop
+share/hope/lib/case.hop
+share/hope/lib/ctype.hop
+share/hope/lib/diag.hop
+share/hope/lib/fold.hop
+share/hope/lib/functions.hop
+share/hope/lib/lines.hop
+share/hope/lib/list.hop
+share/hope/lib/lists.hop
+share/hope/lib/maybe.hop
+share/hope/lib/products.hop
+share/hope/lib/range.hop
+share/hope/lib/seq.hop
+share/hope/lib/set.hop
+share/hope/lib/sort.hop
+share/hope/lib/sums.hop
+share/hope/lib/tree.hop
+share/hope/lib/void.hop
+share/hope/lib/words.hop
+share/hope/lib/y.hop
+%%PORTDOCS%%share/doc/hope/ref_man.dvi.gz
+%%PORTDOCS%%share/doc/hope/ref_man.ps.gz
+%%PORTDOCS%%share/doc/hope/ref_man/index.html
+%%PORTDOCS%%share/doc/hope/ref_man/node1.html
+%%PORTDOCS%%share/doc/hope/ref_man/node10.html
+%%PORTDOCS%%share/doc/hope/ref_man/node11.html
+%%PORTDOCS%%share/doc/hope/ref_man/node12.html
+%%PORTDOCS%%share/doc/hope/ref_man/node13.html
+%%PORTDOCS%%share/doc/hope/ref_man/node14.html
+%%PORTDOCS%%share/doc/hope/ref_man/node15.html
+%%PORTDOCS%%share/doc/hope/ref_man/node16.html
+%%PORTDOCS%%share/doc/hope/ref_man/node17.html
+%%PORTDOCS%%share/doc/hope/ref_man/node2.html
+%%PORTDOCS%%share/doc/hope/ref_man/node3.html
+%%PORTDOCS%%share/doc/hope/ref_man/node4.html
+%%PORTDOCS%%share/doc/hope/ref_man/node5.html
+%%PORTDOCS%%share/doc/hope/ref_man/node6.html
+%%PORTDOCS%%share/doc/hope/ref_man/node7.html
+%%PORTDOCS%%share/doc/hope/ref_man/node8.html
+%%PORTDOCS%%share/doc/hope/ref_man/node9.html
+%%PORTDOCS%%share/doc/hope/ref_man/ref_man.css
+%%PORTDOCS%%share/doc/hope/ref_man/ref_man.html
+%%PORTDOCS%%share/doc/hope/examples.dvi.gz
+%%PORTDOCS%%share/doc/hope/examples.ps.gz
+%%PORTDOCS%%share/doc/hope/examples/examples.css
+%%PORTDOCS%%share/doc/hope/examples/examples.html
+%%PORTDOCS%%share/doc/hope/examples/index.html
+%%PORTDOCS%%share/doc/hope/examples/node1.html
+%%PORTDOCS%%share/doc/hope/examples/node2.html
+%%PORTDOCS%%share/doc/hope/examples/node3.html
+%%PORTDOCS%%share/doc/hope/examples/node4.html
+%%PORTDOCS%%share/doc/hope/hope_tut.dvi.gz
+%%PORTDOCS%%share/doc/hope/hope_tut.ps.gz
+%%PORTDOCS%%share/doc/hope/hope_tut/hope_tut.css
+%%PORTDOCS%%share/doc/hope/hope_tut/hope_tut.html
+%%PORTDOCS%%share/doc/hope/hope_tut/index.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node1.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node10.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node11.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node12.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node13.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node14.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node15.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node16.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node17.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node18.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node19.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node2.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node20.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node21.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node22.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node23.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node24.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node25.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node3.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node4.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node5.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node6.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node7.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node8.html
+%%PORTDOCS%%share/doc/hope/hope_tut/node9.html
+%%PORTDOCS%%@dirrm share/doc/hope/ref_man
+%%PORTDOCS%%@dirrm share/doc/hope/examples
+%%PORTDOCS%%@dirrm share/doc/hope/hope_tut
+%%PORTDOCS%%@dirrm share/doc/hope
+@dirrm share/hope/lib.new
+@dirrm share/hope/lib
+@dirrm share/hope
+