Date: Sun, 4 Feb 2001 19:56:50 -0500 (EST) From: patrick@watson.org To: FreeBSD-gnats-submit@freebsd.org Subject: ports/24858: New port for ocamlweb 0.9 Message-ID: <200102050056.f150uoa76042@fledge.watson.org>
next in thread | raw e-mail | index | archive | help
>Number: 24858 >Category: ports >Synopsis: new port for ocamlweb 0.9 >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: Sun Feb 04 17:00:01 PST 2001 >Closed-Date: >Last-Modified: >Originator: Patrick M Doane >Release: FreeBSD 4.2-STABLE i386 >Organization: >Environment: >Description: ocamlweb is a literate programming tool for Objective Caml >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: # # ocamlweb # ocamlweb/pkg-comment # ocamlweb/Makefile # ocamlweb/distinfo # ocamlweb/pkg-descr # ocamlweb/pkg-plist # echo c - ocamlweb mkdir -p ocamlweb > /dev/null 2>&1 echo x - ocamlweb/pkg-comment sed 's/^X//' >ocamlweb/pkg-comment << 'END-of-ocamlweb/pkg-comment' Xocamlweb is a literate programming tool for Objective Caml. END-of-ocamlweb/pkg-comment echo x - ocamlweb/Makefile sed 's/^X//' >ocamlweb/Makefile << 'END-of-ocamlweb/Makefile' X# New ports collection makefile for: ocamlweb X# Date created: 4 February 2001 X# Whom: Patrick Doane <patrick@watson.org> X# X# $FreeBSD$ X# X XPORTNAME= ocamlweb XPORTVERSION= 0.9 XCATEGORIES= devel XMASTER_SITES= http://www.lri.fr/~filliatr/ftp/ocamlweb/ XDISTFILES= ${DISTNAME}${EXTRACT_SUFX} ${DOCFILES} XEXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} X XMAINTAINER= patrick@watson.org X XGNU_CONFIGURE= yes X X.if !defined(NOPORTDOCS) XDOCFILES= ${PORTNAME}-man.ps.gz X.endif X Xpost-install: X.if !defined{NOPORTDOCS} X ${MKDIR} ${PREFIX}/share/doc/${PORTNAME} X ${INSTALL_MAN} ${DISTDIR}/${PORTNAME}-man.ps.gz ${PREFIX}/share/doc/${PORTNAME} X.endif X X.include <bsd.port.mk> END-of-ocamlweb/Makefile echo x - ocamlweb/distinfo sed 's/^X//' >ocamlweb/distinfo << 'END-of-ocamlweb/distinfo' XMD5 (ocamlweb-0.9.tar.gz) = 1c6c0b307b6cf5e840c7255cdb6bd322 XMD5 (ocamlweb-man.ps.gz) = bbdffb3bbcb0a1a7f756b3fff3ba99e4 END-of-ocamlweb/distinfo echo x - ocamlweb/pkg-descr sed 's/^X//' >ocamlweb/pkg-descr << 'END-of-ocamlweb/pkg-descr' XLiterate programming has been introduced by D. E. Knuth in 1984. The Xmain idea is to put the code and its documentation in the same file Xand to produce from it a document which is readable by a human, and Xnot only by a machine. Although ocamlweb borrows a lot of ideas from XKnuth's original tool (called WEB), there are big differences between Xthem. First, WEB allows you to present the pieces of your code in any Xorder, and this is quite useful when using poorly structured Xlanguages, like Pascal or C. But Objective Caml is already highly Xstructured, and this is no more useful. Moreover, WEB requires the use Xof a tool to produce the code from the WEB file, which greatly Xcomplicates the use of your favorite source-based tools (dependencies Xgenerator, debugger, emacs mode, etc.). When using ocamlweb, the Xdocumentation is inserted in the code as comments (in the Caml sense), Xand your code is not linked to the existence of ocamlweb in any way. X XCurrently, the task of ocamlweb may be seen as: X X 1. making a nice document with the code and its documentation; X 2. generating a global index of cross-references, where each identifier X is associated to the lists of sections where it is defined or used. X XWWW: http://www.lri.fr/~filliatr/ocamlweb END-of-ocamlweb/pkg-descr echo x - ocamlweb/pkg-plist sed 's/^X//' >ocamlweb/pkg-plist << 'END-of-ocamlweb/pkg-plist' Xbin/ocamlweb Xshare/texmf/tex/latex/misc/ocamlweb.sty Xshare/doc/ocamlweb/ocamlweb-man.ps.gz X@dirrm share/doc/ocamlweb END-of-ocamlweb/pkg-plist 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?200102050056.f150uoa76042>