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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 319907F787 for ; Mon, 7 Nov 2016 15:12:06 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gildor478@gmail.com; spf=Pass smtp.mailfrom=gildor478@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f49.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gildor478@gmail.com) identity=pra; client-ip=209.85.215.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="gildor478@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gildor478@gmail.com designates 209.85.215.49 as permitted sender) identity=mailfrom; client-ip=209.85.215.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="gildor478@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lf0-f49.google.com) identity=helo; client-ip=209.85.215.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="postmaster@mail-lf0-f49.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AKuBvnxzDyEYU/CDXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0OoVIJqq85mqBkHD//Il1AaPBtSBraMYwLGM+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwu?= =?us-ascii?q?d76zS9KZ1J7//tvx0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe?= =?us-ascii?q?1XwWR1OQDbxE6ktY+YtaRu+CVIuv8n69UIEeCjJ/x5HvRkC2EIKWkz78rqrlHp?= =?us-ascii?q?YDGiwFQxaC1CnABBBQPC7Qq8VJrrvy31u/BV2S+APMSwQ6piHXyp5qJvDRvpkz?= =?us-ascii?q?svNjgj8WiRhNYjorhcpUeathhhyo/SKKWYfNV3eqeVKdwbQWZGRJoOBwROB4q9?= =?us-ascii?q?a80ECO9XbrUQlJX0u1Zb9Uj2PgKrHu66j2YQ3nI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CfAAAniyBYfzHXVdFDGhwBAQQBAQoBA?= =?us-ascii?q?RcBAQQBAQoBAYMDAQEBAQF3fIQrgSKHa5VVBwEBAQaBGASCYIV2hAeCW4F7gil?= =?us-ascii?q?2gggphCGBWgKCBz8UAQEBAQEBAQEBAQESAQEJCwsJGzKCMwQBFQEEgg8BAQEDA?= =?us-ascii?q?RIRHQEbHgMBCwYFCw0WARMCAiIBEQEFARwGARIaCIgbAQMPCA4toyWBMj8yiic?= =?us-ascii?q?NgRuCDAYBLYMaBYNaChknDVSDGgEBAQEGAQEBAQEBARgCBhCFZIUfgmOCERsBg?= =?us-ascii?q?juCXAWBJQEBAYcdh0yENoVWCAEBgSkIhQSGA4QMgW5OjVSHL1yFH4JDMYESDw+?= =?us-ascii?q?BTCSCYw8cgV0+NAEBAQGFSw0XSIFOAQEB?= X-IPAS-Result: =?us-ascii?q?A0CfAAAniyBYfzHXVdFDGhwBAQQBAQoBARcBAQQBAQoBAYM?= =?us-ascii?q?DAQEBAQF3fIQrgSKHa5VVBwEBAQaBGASCYIV2hAeCW4F7gil2gggphCGBWgKCB?= =?us-ascii?q?z8UAQEBAQEBAQEBAQESAQEJCwsJGzKCMwQBFQEEgg8BAQEDARIRHQEbHgMBCwY?= =?us-ascii?q?FCw0WARMCAiIBEQEFARwGARIaCIgbAQMPCA4toyWBMj8yiicNgRuCDAYBLYMaB?= =?us-ascii?q?YNaChknDVSDGgEBAQEGAQEBAQEBARgCBhCFZIUfgmOCERsBgjuCXAWBJQEBAYc?= =?us-ascii?q?dh0yENoVWCAEBgSkIhQSGA4QMgW5OjVSHL1yFH4JDMYESDw+BTCSCYw8cgV0+N?= =?us-ascii?q?AEBAQGFSw0XSIFOAQEB?= X-IronPort-AV: E=Sophos;i="5.31,606,1473112800"; d="scan'208,217";a="199482315" Received: from mail-lf0-f49.google.com ([209.85.215.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Nov 2016 15:12:05 +0100 Received: by mail-lf0-f49.google.com with SMTP id t196so114618834lff.3; Mon, 07 Nov 2016 06:12:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=TkyWvV8RnAd/79ZaDJUailV4jzmIgn/nMc4WOKBrVUc=; b=uPXKUsq4AkywzmM1jnDuCvYMysCQOULFAwGPWUxIt4XyXYrrAlhdrgdVg6c8gI4hNL FEIMfiWNupdNaVOOJOHY2Ka4s4S07b74tdL9RPsZc97xmE5kU9d2LtLXTjX6b+dEfSjv tWaNch3kLeokioukTCo5oHsaSoVFdKn/zpk2b5CUEWonqiEMpYi0I+ivhi+Oc+wUyTA+ P8jOW/HR4/FzzAZBHhm4i7MJObKTmPNh0ca0mcq0vPP92yRjVkGILgGqlrUk3Ra2SjTd Xf0PiGFSe9ro4MQ6VQNKdpumix4hMw9a82FxQ1Ei2e7y3F7yaXhnM3L1A1S8sskqkQSL xggw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=TkyWvV8RnAd/79ZaDJUailV4jzmIgn/nMc4WOKBrVUc=; b=OXg90HWQGhf6nuXyoGI16ap6Si+l/pqgmG57M++JfRme87RRtJvHHL1f+flGu4h8rQ FNJzj9lGrnR+u6ZVDEew2WOT3BQAt/3fxteZf9JhQLEzhEHyTP6mqZa1vN05/z21VxBG kZEd/M2GmNWedmiEZ7QdwhnnBEhJDpcx/fecq6dC6Hs941G/U5N3Qi314jnnwIv9QxpN TvOGaibJLLoiMjJotaqxo5qmT6sXG1fLSPzjyobdH7h9pUv/cM4asfY61ag4RuO5ao2n JQUwtROx0SrEqBtMaQidEB0Rh7bmbhMCFie7R7H8bPKnjKRkvMI+AJy50Rkmc88aPzqy 4AJw== X-Gm-Message-State: ABUngvcJwKSg7KkZO1ioaoPqtSpjVslpJhSb8FUy+MBrsZWFiUw+SGZ3r3P/Eq2Z82w+5fj9uZEUNXaiu58/kA== X-Received: by 10.25.154.142 with SMTP id c136mr3686263lfe.71.1478527923958; Mon, 07 Nov 2016 06:12:03 -0800 (PST) MIME-Version: 1.0 References: <20161107132201.GG27249@annexia.org> In-Reply-To: From: Sylvain Le Gall Date: Mon, 07 Nov 2016 14:11:52 +0000 Message-ID: To: Francois BERENGER , caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a11401be0b2bcb40540b69b25 X-Validation-by: gildor478@gmail.com Subject: Re: [Caml-list] Zarith problems on ppc64le --001a11401be0b2bcb40540b69b25 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 1. the machine is up $ ssh ssh.ocamlcore.org RSA host key for IP address '87.98.190.243' not in list of known hosts. Last login: Tue Oct 18 08:17:05 2016 from 212.51.151.109 (but it can be a bit slow on the authentication, but not enough to cause a time out) 2. Check your SSH port, it must be 522. https://forge.ocamlcore.org/forum/forum.php?forum_id=3D939 There is a mention of this news on the SCM settings page as well: https://forge.ocamlcore.org/scm/?group_id=3D243 Using 522 as a port: $ svn checkout svn+ssh://gildor-admin@ssh.ocamlcore.org/svn/zarith/trunk A trunk/z_pp.ml A trunk/q.mli A trunk/configure A trunk/z_pp.pl 3. Anonymous access is indeed buggy, I will fix it later. Can you open a bug here, so that you get notified when it is solved: https://forge.ocamlcore.org/tracker/?atid=3D101&group_id=3D1&func=3Dbrowse Actually, the fix is pretty straightforward: rather than, as stated on the SCM page: $ svn checkout svn://ssh.ocamlcore.org/svn/zarith/trunk use: $ svn checkout svn://ocamlcore.org/svn/zarith/trunk I'll update the instruction on the SCM page and publish a news about that. Le lun. 7 nov. 2016 =C3=A0 14:55, Francois BERENGER a =C3=A9crit : > On 11/07/2016 02:22 PM, Richard W.M. Jones wrote: > > > > https://bugzilla.redhat.com/show_bug.cgi?id=3D1392247 > > > > Zarith fails tests on OCaml 4.04.0 + ppc64le with some fairly gross > > errors, eg: > > > > of_float -1. > > - =3D -1 > > + =3D 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" > --001a11401be0b2bcb40540b69b25 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

1. the machine is up

$ ssh ssh.ocamlcore.org
RSA host key for IP address '87.98.190.243' not in list of = known hosts.
Last login: Tue Oct 18 08:17:05 2016 from 212.51.151= .109

(but it can be a bit slow on the authenticati= on, but not enough to cause a time out)

2. Check y= our SSH port, it must be 522.


There is a = mention of this news on the SCM settings page as well:

Using 522 as a port= :
A =C2=A0 =C2=A0trunk/z_= pp.ml
A =C2=A0 =C2=A0trunk/q.mli
A =C2=A0 =C2=A0tru= nk/configure
A =C2=A0 =C2=A0trunk/z_pp= .pl

3. Anonymous access is indeed buggy,= I will fix it later.

Can you open a bug here, so = that you get notified when it is solved:

Actually, the fix is pretty straightfo= rward:
rather than, as stated on the SCM page:=C2=A0
use:
$ svn checkou= t svn://ocamlcore.org/svn= /zarith/trunk

I'll update the instruct= ion on the SCM page and publish a news about that.




Le=C2=A0lun. 7 nov. 2016 =C3=A0=C2=A014:55, Francois BERENGER <francois.berenger@inria.fr>= ; a =C3=A9crit=C2=A0:
On 11/07/2016= 02:22 PM, Richard W.M. Jones wrote:
>
> https://bugzilla.redh= at.com/show_bug.cgi?id=3D1392247
>
> Zarith fails tests on OCaml 4.04.0 + ppc64le with some fairly gross > errors, eg:
>
>=C2=A0 of_float -1.
> - =3D -1
> + =3D 0
>
> (It passes fine on OCaml 4.04.0 + ppc64)
>
> The implementation of Zarith is quite complex and I've so far fail= ed
> 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.=C2=A0 Using anon svn access hangs.=C2=A0 Using svn+ssh access= fails to
> authenticate.=C2=A0 (Could we switch the project over to git?)=C2=A0 I= 'm fairly
> sure this isn't a network problem at my end.

svn: E000110: Can't connect to host 'ssh.ocamlco= re.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"
--001a11401be0b2bcb40540b69b25--