diff options
author | barner <barner@FreeBSD.org> | 2008-04-16 04:51:39 +0800 |
---|---|---|
committer | barner <barner@FreeBSD.org> | 2008-04-16 04:51:39 +0800 |
commit | 82188063ef246476c9a7e9583ec509d2a96b750a (patch) | |
tree | d2428dfebb351dbb88b879d814ee4c536155eb0d /devel/ocaml-camlp5/Makefile | |
parent | 334897b1aa1a1fb6620a5e23e28cb4c40d9ecf36 (diff) | |
download | freebsd-ports-gnome-82188063ef246476c9a7e9583ec509d2a96b750a.tar.gz freebsd-ports-gnome-82188063ef246476c9a7e9583ec509d2a96b750a.tar.zst freebsd-ports-gnome-82188063ef246476c9a7e9583ec509d2a96b750a.zip |
Add ocaml-camlp5 5.08, a preprocessor-pretty-printer of OCaml.
PR: ports/121963
Submitted by: Hirohisa Yamaguchi <umq at ueo.co.jp>
Diffstat (limited to 'devel/ocaml-camlp5/Makefile')
-rw-r--r-- | devel/ocaml-camlp5/Makefile | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/devel/ocaml-camlp5/Makefile b/devel/ocaml-camlp5/Makefile new file mode 100644 index 000000000000..fb95fe4337bf --- /dev/null +++ b/devel/ocaml-camlp5/Makefile @@ -0,0 +1,51 @@ +# ex:ts=8 +# Ports collection makefile for: camlp5 +# Date created: Mar 23 2008 +# Whom: Hirohisa Yamaguchi <umq@ueo.co.jp> +# +# $FreeBSD$ +# + +PORTNAME= camlp5 +PORTVERSION= 5.08 +CATEGORIES= devel +MASTER_SITES= http://cristal.inria.fr/~ddr/camlp5/distrib/src/ \ + http://pauillac.inria.fr/~ddr/camlp5/distrib/src/ +PKGNAMEPREFIX= ocaml- +EXTRACT_SUFX= .tgz + +MAINTAINER= umq@ueo.co.jp +COMMENT= A preprocessor-pretty-printer of OCaml + +USE_OCAML= yes +HAS_CONFIGURE= yes + +.if defined(WITH_TRANSITIONAL) || !defined(WITH_STRICT) +CONFIGURE_ARGS= --transitional --prefix ${PREFIX} +.else +CONFIGURE_ARGS= --strict --prefix ${PREFIX} +.endif +ALL_TARGET= world.opt + +MAN1= camlp5.1 +MANCOMPRESSED= no +MLINKS= camlp5.1 camlp5o.1 camlp5.1 camlp5o.opt.1 camlp5.1 camlp5r.1 \ + camlp5.1 camlp5r.opt.1 camlp5.1 camlp5sch.1 camlp5.1 mkcamlp5.1 \ + camlp5.1 mkcamlp5.opt.1 camlp5.1 ocpp5.1 +PORTDOCS= CHANGES DEVEL ICHANGES INSTALL LICENSE MODE README UPGRADING + +.include <bsd.port.pre.mk> + +post-patch: + ${FIND} ${WRKSRC} -name "*.sh" -exec ${REINPLACE_CMD} -e "s,^#!/bin/bash,#!/bin/sh," {} \; + ${REINPLACE_CMD} -e "s,^#!/bin/bash,#!/bin/sh," ${WRKSRC}/configure + +post-install: +.if !defined(NOPORTDOCS) + @${MKDIR} ${DOCSDIR} +.for f in ${PORTDOCS} + ${INSTALL_DATA} ${WRKSRC}/${f} ${DOCSDIR} +.endfor +.endif + +.include <bsd.port.post.mk> |