aboutsummaryrefslogtreecommitdiffstats
path: root/devel/ocaml-camlp5/Makefile
diff options
context:
space:
mode:
authorbarner <barner@FreeBSD.org>2008-04-16 04:51:39 +0800
committerbarner <barner@FreeBSD.org>2008-04-16 04:51:39 +0800
commit82188063ef246476c9a7e9583ec509d2a96b750a (patch)
treed2428dfebb351dbb88b879d814ee4c536155eb0d /devel/ocaml-camlp5/Makefile
parent334897b1aa1a1fb6620a5e23e28cb4c40d9ecf36 (diff)
downloadfreebsd-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/Makefile51
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>