diff options
author | Ying-Chieh Liao <ijliao@FreeBSD.org> | 2001-10-17 18:21:24 +0000 |
---|---|---|
committer | Ying-Chieh Liao <ijliao@FreeBSD.org> | 2001-10-17 18:21:24 +0000 |
commit | 1e62d386aa678f4698188adf0465348db1044e7b (patch) | |
tree | 8731560c103645aecbb5fd18075972fa1b9b7738 /lang/hope | |
parent | fix 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/Makefile | 40 | ||||
-rw-r--r-- | lang/hope/distinfo | 1 | ||||
-rw-r--r-- | lang/hope/files/patch-Makefile | 36 | ||||
-rw-r--r-- | lang/hope/files/patch-doc:Makefile.in | 19 | ||||
-rw-r--r-- | lang/hope/pkg-comment | 1 | ||||
-rw-r--r-- | lang/hope/pkg-descr | 8 | ||||
-rw-r--r-- | lang/hope/pkg-plist | 92 |
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 + |