svn commit: r356255 - in head/math: . ocaml-zarith ocaml-zarith/files

[John Marino]

Author: marino
Date: Mon Jun  2 21:28:39 2014
New Revision: 356255
URL: http://svnweb.freebsd.org/changeset/ports/356255
QAT: https://qat.redports.org/buildarchive/r356255/

Log:
  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

Added:
  head/math/ocaml-zarith/
  head/math/ocaml-zarith/Makefile   (contents, props changed)
  head/math/ocaml-zarith/distinfo   (contents, props changed)
  head/math/ocaml-zarith/files/
  head/math/ocaml-zarith/files/patch-configure   (contents, props changed)
  head/math/ocaml-zarith/pkg-descr   (contents, props changed)
  head/math/ocaml-zarith/pkg-plist   (contents, props changed)
Modified:
  head/math/Makefile

Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile	Mon Jun  2 21:24:35 2014	(r356254)
+++ head/math/Makefile	Mon Jun  2 21:28:39 2014	(r356255)
@@ -274,6 +274,7 @@
     SUBDIR += numdiff
     SUBDIR += nyh-hoc
     SUBDIR += ocaml-ocamlgraph
+    SUBDIR += ocaml-zarith
     SUBDIR += ocamlgsl
     SUBDIR += octave
     SUBDIR += octave-forge

Added: head/math/ocaml-zarith/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/ocaml-zarith/Makefile	Mon Jun  2 21:28:39 2014	(r356255)
@@ -0,0 +1,45 @@
+# Created by: John Marino <marino at 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 at 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>

Added: head/math/ocaml-zarith/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/ocaml-zarith/distinfo	Mon Jun  2 21:28:39 2014	(r356255)
@@ -0,0 +1,2 @@
+SHA256 (zarith-1.2.1.tgz) = 916801cc39599d3fca07384fbfeec4bfaa5ffcb497d68ef89320af40ba5e4144
+SIZE (zarith-1.2.1.tgz) = 68654

Added: head/math/ocaml-zarith/files/patch-configure
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/ocaml-zarith/files/patch-configure	Mon Jun  2 21:28:39 2014	(r356255)
@@ -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

Added: head/math/ocaml-zarith/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/ocaml-zarith/pkg-descr	Mon Jun  2 21:28:39 2014	(r356255)
@@ -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

Added: head/math/ocaml-zarith/pkg-plist
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/ocaml-zarith/pkg-plist	Mon Jun  2 21:28:39 2014	(r356255)
@@ -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
+ at dirrm %%OCAML_SITELIBDIR%%/zarith