From owner-freebsd-ports-bugs@FreeBSD.ORG Wed Nov 1 07:30:23 2006 Return-Path: X-Original-To: freebsd-ports-bugs@hub.freebsd.org Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 237BB16A403 for ; Wed, 1 Nov 2006 07:30:23 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id 786F643D46 for ; Wed, 1 Nov 2006 07:30:22 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.4/8.13.4) with ESMTP id kA17UMqX060940 for ; Wed, 1 Nov 2006 07:30:22 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.4/8.13.4/Submit) id kA17UMsK060938; Wed, 1 Nov 2006 07:30:22 GMT (envelope-from gnats) Resent-Date: Wed, 1 Nov 2006 07:30:22 GMT Resent-Message-Id: <200611010730.kA17UMsK060938@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Charming Sun Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 596E316A407 for ; Wed, 1 Nov 2006 07:22:37 +0000 (UTC) (envelope-from nobody@FreeBSD.org) Received: from www.freebsd.org (www.freebsd.org [216.136.204.117]) by mx1.FreeBSD.org (Postfix) with ESMTP id 2884F43D45 for ; Wed, 1 Nov 2006 07:22:37 +0000 (GMT) (envelope-from nobody@FreeBSD.org) Received: from www.freebsd.org (localhost [127.0.0.1]) by www.freebsd.org (8.13.1/8.13.1) with ESMTP id kA17Mb11041659 for ; Wed, 1 Nov 2006 07:22:37 GMT (envelope-from nobody@www.freebsd.org) Received: (from nobody@localhost) by www.freebsd.org (8.13.1/8.13.1/Submit) id kA17MbTx041658; Wed, 1 Nov 2006 07:22:37 GMT (envelope-from nobody) Message-Id: <200611010722.kA17MbTx041658@www.freebsd.org> Date: Wed, 1 Nov 2006 07:22:37 GMT From: Charming Sun To: freebsd-gnats-submit@FreeBSD.org X-Send-Pr-Version: www-3.0 Cc: Subject: ports/104997: New port: "devel/bindlib" a library of ocaml X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 01 Nov 2006 07:30:23 -0000 >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 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 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: