ports/104997: New port: "devel/bindlib" a library of ocaml
Charming Sun
snnn119 at gmail.com
Wed Nov 1 07:30:23 UTC 2006
>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 at 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 at 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 at 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 at dirrm share/nls/en_US.US-ASCII
X at dirrm share/nls/POSIX
X at dirrm share/examples/ocaml/bindlib/crs
X at dirrm share/examples/ocaml/bindlib
X at dirrm share/examples/ocaml
X at dirrm share/doc/ocaml/bindlib
X
END-of-bindlib/pkg-plist
exit
>Release-Note:
>Audit-Trail:
>Unformatted:
More information about the freebsd-ports-bugs
mailing list