Skip site navigation (1)Skip section navigation (2)
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>