svn commit: r356255 - in head/math: . ocaml-zarith ocaml-zarith/files
John Marino
marino at FreeBSD.org
Mon Jun 2 21:28:40 UTC 2014
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
More information about the svn-ports-all
mailing list