From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id DF0217F787 for ; Mon, 7 Nov 2016 14:55:44 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.31,606,1473112800"; d="scan'208";a="243915606" Received: from meleze.ens.fr (HELO [129.199.99.114]) ([129.199.99.114]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 07 Nov 2016 14:55:44 +0100 To: caml-list@inria.fr References: <20161107132201.GG27249@annexia.org> Cc: gildor478@gmail.com From: Francois BERENGER Message-ID: Date: Mon, 7 Nov 2016 14:55:44 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 In-Reply-To: <20161107132201.GG27249@annexia.org> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Zarith problems on ppc64le On 11/07/2016 02:22 PM, Richard W.M. Jones wrote: > > https://bugzilla.redhat.com/show_bug.cgi?id=1392247 > > Zarith fails tests on OCaml 4.04.0 + ppc64le with some fairly gross > errors, eg: > > of_float -1. > - = -1 > + = 0 > > (It passes fine on OCaml 4.04.0 + ppc64) > > The implementation of Zarith is quite complex and I've so far failed > to understand what's going on. > > However an additional problem which makes debugging this harder is > that I cannot work out how to check out the source code for the > package. Using anon svn access hangs. Using svn+ssh access fails to > authenticate. (Could we switch the project over to git?) I'm fairly > sure this isn't a network problem at my end. svn: E000110: Can't connect to host 'ssh.ocamlcore.org': Connection timed out I suppose this machine is down. On the other hand, opam can tell you how to get a tarball: # opam info zarith [...] upstream-url: https://forge.ocamlcore.org/frs/download.php/1574/zarith-1.4.1.tgz [...] This URL works with wget. -- Regards, Francois. "When in doubt, use more types"