[91406] trunk/dports/devel

mww at macports.org mww at macports.org
Sat Mar 31 13:35:24 PDT 2012


Revision: 91406
          https://trac.macports.org/changeset/91406
Author:   mww at macports.org
Date:     2012-03-31 13:35:24 -0700 (Sat, 31 Mar 2012)
Log Message:
-----------
new port: devel/ocaml-zarith

Added Paths:
-----------
    trunk/dports/devel/ocaml-zarith/
    trunk/dports/devel/ocaml-zarith/Portfile
    trunk/dports/devel/ocaml-zarith/files/
    trunk/dports/devel/ocaml-zarith/files/patch-META.diff
    trunk/dports/devel/ocaml-zarith/files/patch-caml_z_x86_64.S.diff
    trunk/dports/devel/ocaml-zarith/files/patch-configure.diff

Added: trunk/dports/devel/ocaml-zarith/Portfile
===================================================================
--- trunk/dports/devel/ocaml-zarith/Portfile	                        (rev 0)
+++ trunk/dports/devel/ocaml-zarith/Portfile	2012-03-31 20:35:24 UTC (rev 91406)
@@ -0,0 +1,43 @@
+# $Id: Portfile 88485 2012-01-03 11:01:15Z mww at macports.org $
+
+PortSystem          1.0
+PortGroup           ocaml 1.0
+
+name                ocaml-zarith
+version             1.1
+categories          devel ml
+maintainers         mww openmaintainer
+license             LGPL-2
+platforms           darwin
+description         Arbitrary-precision integers for OCaml
+long_description    \
+        The Zarith library implements arithmetic and logical operations \
+        over arbitrary-precision integers. It uses GMP to efficiently \
+        implement arithmetic over big integers. Small integers are \
+        represented as Caml unboxed integers, for speed and space economy.
+homepage            http://forge.ocamlcore.org/projects/zarith/
+master_sites        http://forge.ocamlcore.org/frs/download.php/835/
+distname            zarith-${version}
+extract.suffix      .tgz
+
+checksums           md5     457fcb896da690d3d6d2bf6c320f3612 \
+                    sha1    cea8a057dfb282b28798d2faec3eb48a02f61fcf \
+                    rmd160  876937c1d8395bfe968e9e20d60f3f55fb982b73
+
+depends_lib         port:ocaml port:ocaml-findlib port:gmp
+
+patchfiles          patch-configure.diff patch-caml_z_x86_64.S.diff patch-META.diff
+
+configure.pre_args
+configure.args       -installdir ${ocamlfind_destdir} -ocamllibdir ${prefix}/lib/ocaml
+configure.cc_archflags
+configure.ld_archflags
+
+use_parallel_build  no
+
+test.run            yes
+test.cmd            make test && ./test
+
+livecheck.type      regex
+livecheck.url       http://forge.ocamlcore.org/frs/?group_id=243
+livecheck.regex     "zarith-(\[0-9\\.\]+).tgz"

Added: trunk/dports/devel/ocaml-zarith/files/patch-META.diff
===================================================================
--- trunk/dports/devel/ocaml-zarith/files/patch-META.diff	                        (rev 0)
+++ trunk/dports/devel/ocaml-zarith/files/patch-META.diff	2012-03-31 20:35:24 UTC (rev 91406)
@@ -0,0 +1,9 @@
+--- work/zarith-1.1/META	2011-05-28 00:46:40.000000000 +0200
++++ META	2012-03-31 22:29:34.000000000 +0200
+@@ -1,5 +1,5 @@
+ description = "Arbitrary precision integers"
+ requires = ""
+-version = "0.1"
++version = "1.1"
+ archive(byte) = "zarith.cma"
+ archive(native) = "zarith.cmxa"

Added: trunk/dports/devel/ocaml-zarith/files/patch-caml_z_x86_64.S.diff
===================================================================
--- trunk/dports/devel/ocaml-zarith/files/patch-caml_z_x86_64.S.diff	                        (rev 0)
+++ trunk/dports/devel/ocaml-zarith/files/patch-caml_z_x86_64.S.diff	2012-03-31 20:35:24 UTC (rev 91406)
@@ -0,0 +1,20 @@
+--- work/zarith-1.1/caml_z_x86_64.S	2011-10-29 22:36:10.000000000 +0200
++++ caml_z_x86_64.S	2012-03-31 22:24:09.000000000 +0200
+@@ -228,7 +228,7 @@
+         mov     %rdi, %rax
+         sar     %rax
+         jnc     L(div)
+-        cqo
++        cqto
+         idiv    %rcx
+         lea     1(%rax, %rax), %rax
+         OP
+@@ -249,7 +249,7 @@
+         jz      L(rem)   /* division by zero */
+         cmp     $-1, %rcx
+         je      L(remneg)
+-        cqo
++        cqto
+         idiv    %rcx
+         lea     1(%rdx, %rdx), %rax
+         OP

Added: trunk/dports/devel/ocaml-zarith/files/patch-configure.diff
===================================================================
--- trunk/dports/devel/ocaml-zarith/files/patch-configure.diff	                        (rev 0)
+++ trunk/dports/devel/ocaml-zarith/files/patch-configure.diff	2012-03-31 20:35:24 UTC (rev 91406)
@@ -0,0 +1,10 @@
+--- work/zarith-1.1/configure	2012-03-24 09:27:09.000000000 +0100
++++ configure	2012-03-31 22:17:56.000000000 +0200
+@@ -121,6 +121,7 @@
+ 
+ searchbin()
+ {
++return 1;
+     if test "x$1" = "x"; then return 0; fi
+     echo_n "binary $1: "
+     IFS=':'
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20120331/82f67bc3/attachment.html>


More information about the macports-changes mailing list