Add new Ocaml port: math/ocaml-zarith

This is a new requirement for the latest veersion of alt-ergo.

     ================================================================

The Zarith library implements arithmetic and logical operations over
arbitrary precision numbers.  It uses GMP to efficiently implement
arithmetic over large numbers.  Small integers are represented as Caml
unboxed integers for speed and space economy.

WWW: http://forge.ocamlcore.org/projects/zarith

math/Makefile

@@ -274,6 +274,7 @@
     SUBDIR += numdiff
     SUBDIR += nyh-hoc
     SUBDIR += ocaml-ocamlgraph
+    SUBDIR += ocaml-zarith
     SUBDIR += ocamlgsl
     SUBDIR += octave
     SUBDIR += octave-forge

math/ocaml-zarith/Makefile

@@ -0,0 +1,45 @@
+# Created by: John Marino <marino@FreeBSD.org>
+# $FreeBSD$
+
+PORTNAME=	zarith
+PORTVERSION=	1.2.1
+CATEGORIES=	math
+MASTER_SITES=	http://forge.ocamlcore.org/frs/download.php/1199/
+PKGNAMEPREFIX=	ocaml-
+
+MAINTAINER=	marino@FreeBSD.org
+COMMENT=	OCaml arithmetic library for arbitrary precision integers
+
+LICENSE=	GPLv2
+
+LIB_DEPENDS=	libgmp.so:${PORTSDIR}/math/gmp
+
+USES=			gmake perl5 shebangfix tar:tgz
+USE_PERL5=		build
+USE_OCAML=		yes
+USE_OCAML_FINDLIB=	yes
+OCAMLFIND_LDCONF=	/dev/null
+HAS_CONFIGURE=		yes
+ALL_TARGET=		all
+SHEBANG_FILES=		z_pp.pl
+CONFIGURE_ENV+=		DESTDIR=${STAGEDIR}
+CPPFLAGS+=		-I${LOCALBASE}/include
+LDFLAGS+=		-L${LOCALBASE}/lib
+
+MAKE_JOBS_UNSAFE=	yes
+PORTDOCS=	html
+DOCSDIR=	${OCAML_DOCSDIR}/${PORTNAME}
+
+OPTIONS_DEFINE=	DOCS
+
+.include <bsd.port.options.mk>
+
+.if ${PORT_OPTIONS:MDOCS}
+ALL_TARGET+= doc
+
+post-install:
+	${MKDIR} ${STAGEDIR}${DOCSDIR}
+	${MV} ${WRKSRC}/html ${STAGEDIR}${DOCSDIR}
+.endif
+
+.include <bsd.port.mk>

math/ocaml-zarith/distinfo

@@ -0,0 +1,2 @@
+SHA256 (zarith-1.2.1.tgz) = 916801cc39599d3fca07384fbfeec4bfaa5ffcb497d68ef89320af40ba5e4144
+SIZE (zarith-1.2.1.tgz) = 68654

math/ocaml-zarith/files/patch-configure

@@ -0,0 +1,26 @@
+--- configure.orig	2013-06-12 07:13:59.000000000 +0000
++++ configure
+@@ -304,6 +304,14 @@ case $host in
+             arch='i686'
+         fi
+ 	;;
++    i386-*freebsd* | i386-*dragonfly*)
++        ccdef="-DZ_ELF -DZ_DOT_LABEL_PREFIX $ccdef"
++        arch='i686'
++        ;;
++    amd64-*freebsd* | x86_64-*dragonfly*)
++        ccdef="-DZ_ELF -DZ_DOT_LABEL_PREFIX $ccdef"
++        arch='x86_64'
++        ;;
+     i386-*darwin* | x86_64-*darwin*)
+         ccdef="-DZ_UNDERSCORE_PREFIX -DZ_MACOS $ccdef"
+         if test "x$wordsize" = "x64"; then
+@@ -401,7 +409,7 @@ CFLAGS=$ccinc $ccdef $ccopt
+ ASFLAGS=$ccdef $asopt
+ LIBS=$cclib
+ ARCH=$arch
+-INSTALLDIR=$installdir
++INSTALLDIR=${DESTDIR}$installdir
+ AR=$ar
+ INSTALL=install
+ OCAMLFIND=ocamlfind

math/ocaml-zarith/pkg-descr

@@ -0,0 +1,6 @@
+The Zarith library implements arithmetic and logical operations over
+arbitrary precision numbers.  It uses GMP to efficiently implement
+arithmetic over large numbers.  Small integers are represented as Caml
+unboxed integers for speed and space economy.
+
+WWW: http://forge.ocamlcore.org/projects/zarith

math/ocaml-zarith/pkg-plist

@@ -0,0 +1,15 @@
+%%OCAML_SITELIBDIR%%/zarith/META
+%%OCAML_SITELIBDIR%%/zarith/big_int_Z.cmi
+%%OCAML_SITELIBDIR%%/zarith/big_int_Z.mli
+%%OCAML_SITELIBDIR%%/zarith/dllzarith.so
+%%OCAML_SITELIBDIR%%/zarith/libzarith.a
+%%OCAML_SITELIBDIR%%/zarith/q.cmi
+%%OCAML_SITELIBDIR%%/zarith/q.mli
+%%OCAML_SITELIBDIR%%/zarith/z.cmi
+%%OCAML_SITELIBDIR%%/zarith/z.mli
+%%OCAML_SITELIBDIR%%/zarith/zarith.a
+%%OCAML_SITELIBDIR%%/zarith/zarith.cma
+%%OCAML_SITELIBDIR%%/zarith/zarith.cmxa
+%%OCAML_SITELIBDIR%%/zarith/zarith.cmxs
+%%OCAML_SITELIBDIR%%/zarith/zarith.h
+@dirrm %%OCAML_SITELIBDIR%%/zarith