Date: Wed, 1 Nov 2006 07:22:37 GMT From: Charming Sun<snnn119@gmail.com> To: freebsd-gnats-submit@FreeBSD.org Subject: ports/104997: New port: "devel/bindlib" a library of ocaml Message-ID: <200611010722.kA17MbTx041658@www.freebsd.org> Resent-Message-ID: <200611010730.kA17UMsK060938@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 104997 >Category: ports >Synopsis: New port: "devel/bindlib" a library of ocaml >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Wed Nov 01 07:30:21 GMT 2006 >Closed-Date: >Last-Modified: >Originator: Charming Sun >Release: FreeBSD6.0 >Organization: China University of Mining >Environment: FreeBSD localhost.localdomain 6.0-RELEASE-p15 FreeBSD 6.0-RELEASE-p15 #13: Tue Oct 17 23:52:11 CST 2006 snnn@localhost.localdomain:/usr/obj/usr/src/sys/snnn i386 >Description: A new port about ocaml. Bindlib is a library and a camlp4 syntax extension for the OCaml language. It proposes a set of tools to manage data structures with bound and free variables. It includes fast substitution and management of variables names including renaming. >How-To-Repeat: >Fix: Patch attached with submission follows: # 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: # # bindlib # bindlib/pkg-descr # bindlib/Makefile # bindlib/distinfo # bindlib/pkg-plist # echo c - bindlib mkdir -p bindlib > /dev/null 2>&1 echo x - bindlib/pkg-descr sed 's/^X//' >bindlib/pkg-descr << 'END-of-bindlib/pkg-descr' XBindlib is a library and a camlp4 syntax extension for the OCaml Xlanguage. It proposes a set of tools to manage data structures Xwith bound and free variables. It includes fast substitution and Xmanagement of variables names including renaming. X X XWWW: http://www.lama.univ-savoie.fr/~raffalli/bindlib.html X- Charming Sun Xsnnn119@gmail.com END-of-bindlib/pkg-descr echo x - bindlib/Makefile sed 's/^X//' >bindlib/Makefile << 'END-of-bindlib/Makefile' X# New ports collection makefile for: bindlib X# Date created: 26 October 2006 X# Whom: Charming Sun X# X# $FreeBSD$ X# X XPORTNAME= bindlib XPORTVERSION= 3.0 XCATEGORIES= devel XMASTER_SITES= http://www.lama.univ-savoie.fr/ftp/pub/users/RAFFALLI/Bindlib/ XDISTNAME= $(PORTNAME)-$(PORTVERSION).ocaml XEXTRACT_SUFX= .tgz X XMAINTAINER= snnn119@gmail.com XCOMMENT= A library and a camlp4 syntax extension for the OCaml language X XUSE_GMAKE= yes XUSE_GZIP= yes XUSE_OCAML= yes X XDOCSDIR= ${PREFIX}/share/doc/ocaml/${PORTNAME} XEXAMPLESDIR= ${PREFIX}/share/examples/ocaml/${PORTNAME} X X.include <bsd.port.pre.mk> X.include "${PORTSDIR}/lang/ocaml/bsd.ocaml.mk" Xpost-install: X.if !defined(NOPORTDOCS) X @${MKDIR} ${EXAMPLESDIR} X @${MKDIR} ${EXAMPLESDIR}/crs X @${INSTALL_DATA} ${WRKSRC}/examples/crs/* ${EXAMPLESDIR}/crs X @${INSTALL_DATA} ${WRKSRC}/examples/Makefile \ X $(WRKSRC)/examples/*.ml ${EXAMPLESDIR} X @${MKDIR} ${DOCSDIR} X @${INSTALL_DATA} ${WRKSRC}/README ${DOCSDIR}/README X @${INSTALL_DATA} ${WRKSRC}/doc/bindlib-3.0.pdf \ X ${DOCSDIR}/bindlib-3.0.pdf X.endif X X.include <bsd.port.post.mk> END-of-bindlib/Makefile echo x - bindlib/distinfo sed 's/^X//' >bindlib/distinfo << 'END-of-bindlib/distinfo' XMD5 (bindlib-3.0.ocaml.tgz) = 6cd4ae39fa20064a70180238bfe271f6 XSHA256 (bindlib-3.0.ocaml.tgz) = 5693904afd12ec4ea003a9adbdcc4f770ce97e3b9f5b91f9f72ee20246639c9b XSIZE (bindlib-3.0.ocaml.tgz) = 1156862 END-of-bindlib/distinfo echo x - bindlib/pkg-plist sed 's/^X//' >bindlib/pkg-plist << 'END-of-bindlib/pkg-plist' Xshare/doc/ocaml/bindlib/README Xshare/doc/ocaml/bindlib/bindlib-3.0.pdf Xshare/examples/ocaml/bindlib/Makefile Xshare/examples/ocaml/bindlib/crs/Makefile Xshare/examples/ocaml/bindlib/crs/README Xshare/examples/ocaml/bindlib/crs/action.ml Xshare/examples/ocaml/bindlib/crs/basic.ml Xshare/examples/ocaml/bindlib/crs/crs.ml Xshare/examples/ocaml/bindlib/crs/depend Xshare/examples/ocaml/bindlib/crs/file.ml Xshare/examples/ocaml/bindlib/crs/genlex.ml Xshare/examples/ocaml/bindlib/crs/genlex.mli Xshare/examples/ocaml/bindlib/crs/globals.ml Xshare/examples/ocaml/bindlib/crs/parser.ml Xshare/examples/ocaml/bindlib/crs/print.ml Xshare/examples/ocaml/bindlib/crs/reduce.ml Xshare/examples/ocaml/bindlib/crs/test Xshare/examples/ocaml/bindlib/pred.ml Xshare/examples/ocaml/bindlib/unif.ml X@dirrm share/nls/en_US.US-ASCII X@dirrm share/nls/POSIX X@dirrm share/examples/ocaml/bindlib/crs X@dirrm share/examples/ocaml/bindlib X@dirrm share/examples/ocaml X@dirrm share/doc/ocaml/bindlib X END-of-bindlib/pkg-plist exit >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200611010722.kA17MbTx041658>