Date: Tue, 25 Sep 2001 00:49:22 +0400 (MSD) From: Lev Serebryakov <lev@serebryakov.spb.ru> To: FreeBSD-gnats-submit@freebsd.org Subject: ports/30799: New port: lang/hope Message-ID: <200109242049.f8OKnMS89248@ftp.translate.ru>
next in thread | raw e-mail | index | archive | help
>Number: 30799 >Category: ports >Synopsis: New port: lang/hope >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Mon Sep 24 14:00:01 PDT 2001 >Closed-Date: >Last-Modified: >Originator: Lev Serebryakov <lev@serebryakov.spb.ru> >Release: FreeBSD 4.2-STABLE i386 >Organization: >Environment: Ports collection from 24 Sep 2001 >Description: New port: lazy interpreter of HOPE functional language. >How-To-Repeat: >Fix: # This is a shell archive. Save it in a file, remove anything before # this line, and then unpack it by entering "sh file". Note, it may # create directories; files and directories will be owned by you and # have default permissions. # # This archive contains: # # hope # hope/Makefile # hope/pkg-plist # hope/pkg-comment # hope/distinfo # hope/pkg-descr # hope/files # hope/files/patch-doc:Makefile.in # hope/files/patch-Makefile # echo c - hope mkdir -p hope > /dev/null 2>&1 echo x - hope/Makefile sed 's/^X//' >hope/Makefile << 'END-of-hope/Makefile' X# New ports collection makefile for: hope X# Date created: 24 September 2001 X# Whom: Lev Serebryakov <lev@serebryakov.spb.ru> X# X# $FreeBSD$ X# X XPORTNAME= hope XPORTVERSION= 0.0 XCATEGORIES= lang XMASTER_SITES= http://www.soi.city.ac.uk/~ross/Hope/ XDISTNAME= ${PORTNAME} X XMAINTAINER= lev@serebryakov.spb.ru X X.if defined(WITH_DOCS) XBUILD_DEPENDS+= latex:${PORTSDIR}/print/teTeX \ X latex2html:${PORTSDIR}/textproc/latex2html XMAKE_ARGS+= WITH_DOCS=yes X.else XNOPORTDOCS= yes X.endif X XGNU_CONFIGURE= yes XUSE_GMAKE= yes X XMAN1= hope.1 X Xpre-fetch: X.if !defined(WITH_DOCS) X @${ECHO} "" X @${ECHO} " If you want to build and install documentation" X @${ECHO} " you should use WITH_DOCS build option" X @${ECHO} "" X @${ECHO} " Documentation is not builded by default because" X @${ECHO} " it needs latex and latex2html" X @${ECHO} "" X.endif X X.include <bsd.port.mk> END-of-hope/Makefile echo x - hope/pkg-plist sed 's/^X//' >hope/pkg-plist << 'END-of-hope/pkg-plist' Xbin/hope Xshare/hope/lib.new/Standard.hop Xshare/hope/lib/Standard.hop Xshare/hope/lib/arith.hop Xshare/hope/lib/case.hop Xshare/hope/lib/ctype.hop Xshare/hope/lib/diag.hop Xshare/hope/lib/fold.hop Xshare/hope/lib/functions.hop Xshare/hope/lib/lines.hop Xshare/hope/lib/list.hop Xshare/hope/lib/lists.hop Xshare/hope/lib/maybe.hop Xshare/hope/lib/products.hop Xshare/hope/lib/range.hop Xshare/hope/lib/seq.hop Xshare/hope/lib/set.hop Xshare/hope/lib/sort.hop Xshare/hope/lib/sums.hop Xshare/hope/lib/tree.hop Xshare/hope/lib/void.hop Xshare/hope/lib/words.hop Xshare/hope/lib/y.hop X%%PORTDOCS%%share/doc/hope/ref_man.dvi.gz X%%PORTDOCS%%share/doc/hope/ref_man.ps.gz X%%PORTDOCS%%share/doc/hope/ref_man/index.html X%%PORTDOCS%%share/doc/hope/ref_man/node1.html X%%PORTDOCS%%share/doc/hope/ref_man/node10.html X%%PORTDOCS%%share/doc/hope/ref_man/node11.html X%%PORTDOCS%%share/doc/hope/ref_man/node12.html X%%PORTDOCS%%share/doc/hope/ref_man/node13.html X%%PORTDOCS%%share/doc/hope/ref_man/node14.html X%%PORTDOCS%%share/doc/hope/ref_man/node15.html X%%PORTDOCS%%share/doc/hope/ref_man/node16.html X%%PORTDOCS%%share/doc/hope/ref_man/node17.html X%%PORTDOCS%%share/doc/hope/ref_man/node2.html X%%PORTDOCS%%share/doc/hope/ref_man/node3.html X%%PORTDOCS%%share/doc/hope/ref_man/node4.html X%%PORTDOCS%%share/doc/hope/ref_man/node5.html X%%PORTDOCS%%share/doc/hope/ref_man/node6.html X%%PORTDOCS%%share/doc/hope/ref_man/node7.html X%%PORTDOCS%%share/doc/hope/ref_man/node8.html X%%PORTDOCS%%share/doc/hope/ref_man/node9.html X%%PORTDOCS%%share/doc/hope/ref_man/ref_man.css X%%PORTDOCS%%share/doc/hope/ref_man/ref_man.html X%%PORTDOCS%%share/doc/hope/examples.dvi.gz X%%PORTDOCS%%share/doc/hope/examples.ps.gz X%%PORTDOCS%%share/doc/hope/examples/examples.css X%%PORTDOCS%%share/doc/hope/examples/examples.html X%%PORTDOCS%%share/doc/hope/examples/index.html X%%PORTDOCS%%share/doc/hope/examples/node1.html X%%PORTDOCS%%share/doc/hope/examples/node2.html X%%PORTDOCS%%share/doc/hope/examples/node3.html X%%PORTDOCS%%share/doc/hope/examples/node4.html X%%PORTDOCS%%share/doc/hope/hope_tut.dvi.gz X%%PORTDOCS%%share/doc/hope/hope_tut.ps.gz X%%PORTDOCS%%share/doc/hope/hope_tut/hope_tut.css X%%PORTDOCS%%share/doc/hope/hope_tut/hope_tut.html X%%PORTDOCS%%share/doc/hope/hope_tut/index.html X%%PORTDOCS%%share/doc/hope/hope_tut/node1.html X%%PORTDOCS%%share/doc/hope/hope_tut/node10.html X%%PORTDOCS%%share/doc/hope/hope_tut/node11.html X%%PORTDOCS%%share/doc/hope/hope_tut/node12.html X%%PORTDOCS%%share/doc/hope/hope_tut/node13.html X%%PORTDOCS%%share/doc/hope/hope_tut/node14.html X%%PORTDOCS%%share/doc/hope/hope_tut/node15.html X%%PORTDOCS%%share/doc/hope/hope_tut/node16.html X%%PORTDOCS%%share/doc/hope/hope_tut/node17.html X%%PORTDOCS%%share/doc/hope/hope_tut/node18.html X%%PORTDOCS%%share/doc/hope/hope_tut/node19.html X%%PORTDOCS%%share/doc/hope/hope_tut/node2.html X%%PORTDOCS%%share/doc/hope/hope_tut/node20.html X%%PORTDOCS%%share/doc/hope/hope_tut/node21.html X%%PORTDOCS%%share/doc/hope/hope_tut/node22.html X%%PORTDOCS%%share/doc/hope/hope_tut/node23.html X%%PORTDOCS%%share/doc/hope/hope_tut/node24.html X%%PORTDOCS%%share/doc/hope/hope_tut/node25.html X%%PORTDOCS%%share/doc/hope/hope_tut/node3.html X%%PORTDOCS%%share/doc/hope/hope_tut/node4.html X%%PORTDOCS%%share/doc/hope/hope_tut/node5.html X%%PORTDOCS%%share/doc/hope/hope_tut/node6.html X%%PORTDOCS%%share/doc/hope/hope_tut/node7.html X%%PORTDOCS%%share/doc/hope/hope_tut/node8.html X%%PORTDOCS%%share/doc/hope/hope_tut/node9.html X%%PORTDOCS%%@dirrm share/doc/hope/ref_man X%%PORTDOCS%%@dirrm share/doc/hope/examples X%%PORTDOCS%%@dirrm share/doc/hope/hope_tut X%%PORTDOCS%%@dirrm share/doc/hope X@dirrm share/hope/lib.new X@dirrm share/hope/lib X@dirrm share/hope X END-of-hope/pkg-plist echo x - hope/pkg-comment sed 's/^X//' >hope/pkg-comment << 'END-of-hope/pkg-comment' XHope is lazy interpriter for HOPE applicative language END-of-hope/pkg-comment echo x - hope/distinfo sed 's/^X//' >hope/distinfo << 'END-of-hope/distinfo' XMD5 (hope.tar.gz) = 4ef57ca58da48486b28ba6093f6d2562 END-of-hope/distinfo echo x - hope/pkg-descr sed 's/^X//' >hope/pkg-descr << 'END-of-hope/pkg-descr' XHOPE is simple applicative (functional) language. XIt was been used in "Functional Programming" book by Anthony J. Field and XPeter G. Harrison. X XThis port installs simple lazy interpreter of hope. XAuthor of this interpiter is Ross Paterson <ross@soi.city.ac.uk>. X XWWW: http://www.soi.city.ac.uk/~ross/Hope/ END-of-hope/pkg-descr echo c - hope/files mkdir -p hope/files > /dev/null 2>&1 echo x - hope/files/patch-doc:Makefile.in sed 's/^X//' >hope/files/patch-doc:Makefile.in << 'END-of-hope/files/patch-doc:Makefile.in' X--- doc/Makefile.in.orig Sat Apr 17 04:14:06 1999 X+++ doc/Makefile.in Tue Sep 25 00:12:51 2001 X@@ -58,7 +58,7 @@ X sed -n 's/^#define[ ][ ]*\(M[IA][NX]PREC\)[ ][ ]*\([0-9]*\).*/\\newcommand{\\\1}{\2}/p' ../src/op.h >$@ X X ../src/op.h: X- cd ../src; make op.h X+ cd ../src; $(MAKE) op.h X X # can't use echo here as BSD and SYSV versions treat backslashes differently. X Standard.tex: ../lib/Standard.hop h2l.awk X@@ -83,6 +83,7 @@ X for file in $(docs); do gzip <$$file >$(docdir)/$$file.gz; done X $(INSTALL) -d $(htmldir) X for dir in $(dirs); do rm -rf $(htmldir)/$$dir; done X+ for dir in $(dirs); do rm -rf $$dir/*.pl $$dir/WARNINGS; done X cp -r $(dirs) $(htmldir) X # cp $(src_srcs) $(srcdir) X END-of-hope/files/patch-doc:Makefile.in echo x - hope/files/patch-Makefile sed 's/^X//' >hope/files/patch-Makefile << 'END-of-hope/files/patch-Makefile' X--- Makefile.orig Mon Sep 24 22:45:30 2001 X+++ Makefile Mon Sep 24 22:47:52 2001 X@@ -1,23 +1,27 @@ X SHELL = /bin/sh X X configure_args = X-dirs = doc lib src X+dirs = lib src X+ X+ifeq (yes,$(WITH_DOCS)) X+dirs += doc X+endif X X all: config.status X- for dir in $(dirs); do (cd $$dir; make all); done X+ for dir in $(dirs); do (cd $$dir; $(MAKE) all); done X X install: config.status X- for dir in $(dirs); do (cd $$dir; make install); done X+ for dir in $(dirs); do (cd $$dir; $(MAKE) install); done X X clean: config.status X- for dir in $(dirs); do (cd $$dir; make clean); done X+ for dir in $(dirs); do (cd $$dir; $(MAKE) clean); done X X distclean: config.status X- for dir in $(dirs); do (cd $$dir; make distclean); done X+ for dir in $(dirs); do (cd $$dir; $(MAKE) distclean); done X rm -f config.cache config.log config.status X X clobber: config.status X- for dir in $(dirs); do (cd $$dir; make clobber); done X+ for dir in $(dirs); do (cd $$dir; $(MAKE) clobber); done X for dir in $(dirs); do rm -f $$dir/Makefile; done X rm -f src/config.h src/config.h.in src/stamp-h.in X rm -f config.cache config.log config.status END-of-hope/files/patch-Makefile exit >Release-Note: >Audit-Trail: >Unformatted: To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200109242049.f8OKnMS89248>