From owner-svn-ports-all@FreeBSD.ORG Mon Jun 2 21:28:40 2014 Return-Path: Delivered-To: svn-ports-all@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id A7EB0DAC; Mon, 2 Jun 2014 21:28:40 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 87E3B26CB; Mon, 2 Jun 2014 21:28:40 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.8/8.14.8) with ESMTP id s52LSeeG035147; Mon, 2 Jun 2014 21:28:40 GMT (envelope-from marino@svn.freebsd.org) Received: (from marino@localhost) by svn.freebsd.org (8.14.8/8.14.8/Submit) id s52LSdbU035140; Mon, 2 Jun 2014 21:28:39 GMT (envelope-from marino@svn.freebsd.org) Message-Id: <201406022128.s52LSdbU035140@svn.freebsd.org> From: John Marino Date: Mon, 2 Jun 2014 21:28:39 +0000 (UTC) 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 X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 02 Jun 2014 21:28:40 -0000 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 +# $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 + +.if ${PORT_OPTIONS:MDOCS} +ALL_TARGET+= doc + +post-install: + ${MKDIR} ${STAGEDIR}${DOCSDIR} + ${MV} ${WRKSRC}/html ${STAGEDIR}${DOCSDIR} +.endif + +.include 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