Re: [Caml-list] Zarith problems on ppc64le

[Sylvain Le Gall <gildor478@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 2442 bytes --]

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=939

There is a mention of this news on the SCM settings page as well:
https://forge.ocamlcore.org/scm/?group_id=243

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=101&group_id=1&func=browse

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 à 14:55, Francois BERENGER <francois.berenger@inria.fr>
a écrit :

> 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"
>

[-- Attachment #2: Type: text/html, Size: 4886 bytes --]