Revision: 91406 https://trac.macports.org/changeset/91406 Author: mww@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@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=':'
participants (1)
-
mww@macports.org