Date: Mon, 2 Jun 2014 21:28:39 +0000 (UTC) From: John Marino <marino@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r356255 - in head/math: . ocaml-zarith ocaml-zarith/files Message-ID: <201406022128.s52LSdbU035140@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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> 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 +@dirrm %%OCAML_SITELIBDIR%%/zarith
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201406022128.s52LSdbU035140>