OCaml website down?

OCaml website down?

[Raj Bandyopadhyay]

Hi

caml.inria.fr seems to be down currently. Are there any mirrors to  
download
OCaml binaries from? (unless it's going to be back up pretty soon :)  )

Thanks!
Raj

Re: [Caml-list] OCaml website down?

[Jon Harrop]

On Sunday 14 October 2007 22:22:42 Raj Bandyopadhyay wrote:
> caml.inria.fr seems to be down currently

Again?! I don't know of any mirrors but maybe we should set one up.

If you're using an environment with a repository like "apt" then you can do:

  sudo apt-get source ocaml

of course...

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e

Re: OCaml website down?

[Sylvain Le Gall]

On 15-10-2007, Jon Harrop <jon@ffconsultancy.com> wrote:
> On Sunday 14 October 2007 22:22:42 Raj Bandyopadhyay wrote:
>> caml.inria.fr seems to be down currently
>
> Again?! I don't know of any mirrors but maybe we should set one up.
>
> If you're using an environment with a repository like "apt" then you can do:
>
>   sudo apt-get source ocaml
>
> of course...
>

Why "apt-get SOURCE ocaml" ? 

I think for binaries only you can do a "apt-get install ocaml" which is
far more simple than to recompile everything.

Regards,
Sylvain Le Gall

Re: [Caml-list] Re: OCaml website down?

[skaller]

On Mon, 2007-10-15 at 12:38 +0000, Sylvain Le Gall wrote:
> On 15-10-2007, Jon Harrop <jon@ffconsultancy.com> wrote:
> > On Sunday 14 October 2007 22:22:42 Raj Bandyopadhyay wrote:
> >> caml.inria.fr seems to be down currently
> >
> > Again?! I don't know of any mirrors but maybe we should set one up.
> >
> > If you're using an environment with a repository like "apt" then you can do:
> >
> >   sudo apt-get source ocaml
> >
> > of course...
> >
> 
> Why "apt-get SOURCE ocaml" ? 
> 
> I think for binaries only you can do a "apt-get install ocaml" which is
> far more simple than to recompile everything.

Hum, well, Ocaml is at 3.10 and Ubuntu is still running 3.09,
and some of my stuff doesn't work so well with 3.09 for an
unknown reason possibly related to stack management.
[3.10 fixed a number of problems on non-Debian platforms]

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

Re: [Caml-list] Re: OCaml website down?

[Jon Harrop]

On Monday 15 October 2007 13:38:24 Sylvain Le Gall wrote:
> Why "apt-get SOURCE ocaml" ?
>
> I think for binaries only you can do a "apt-get install ocaml" which is
> far more simple than to recompile everything.

I did:

  sudo apt-get --build source ocaml

having copied the new OCaml over the old sources. Same thing to rebuild all 
the libraries that depend upon the new OCaml.

That isn't relevant, of course, because the OP specifically asked for binaries 
and he doesn't even have the new sources because INRIA's server's down 
again... :-)

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e

Re: OCaml website down?

[Sylvain Le Gall]

On 15-10-2007, Jon Harrop <jon@ffconsultancy.com> wrote:
> On Monday 15 October 2007 13:38:24 Sylvain Le Gall wrote:
>> Why "apt-get SOURCE ocaml" ?
>>
>> I think for binaries only you can do a "apt-get install ocaml" which is
>> far more simple than to recompile everything.
>
> I did:
>
>   sudo apt-get --build source ocaml
>
> having copied the new OCaml over the old sources. Same thing to rebuild all 
> the libraries that depend upon the new OCaml.
>

I must have miss something, there is no need to get the source of OCaml
from debian. You can just install the binary packages provided in debian
(and all the other libraries you can find in debian). 

What the use of building ocaml from the debian ocaml package ?

AFAIK, you won't get any speedup from doing this. I am really curious
why you should use "sudo apt-get --build source ocaml"! I don't see any
advantages.

Regards,
Sylvain Le Gall

Re: [Caml-list] Re: OCaml website down?

[Jon Harrop]

On Monday 15 October 2007 17:43:40 Sylvain Le Gall wrote:
> AFAIK, you won't get any speedup from doing this. I am really curious
> why you should use "sudo apt-get --build source ocaml"! I don't see any
> advantages.

I used apt to download the source, then I copied my CVS checkout of the 
(excellent!) experimental natdynlink branch over the package's version and 
then I used "apt" to compile it and build it into a .deb file that I could 
install.

Now I have both the reassurance of apt's package management and the 
awesomeness of an ocamlnat top-level (which is mentioned in the latest OCaml 
Journal article on FFTs, BTW).

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e

Re: [Caml-list] OCaml website down?

[skaller]

On Sun, 2007-10-14 at 16:22 -0500, Raj Bandyopadhyay wrote:
> Hi
> 
> caml.inria.fr seems to be down currently. Are there any mirrors to  
> download
> OCaml binaries from? (unless it's going to be back up pretty soon :)  )

This machine is rarely down for long ..

$ ping caml.inria.fr
PING brion.inria.fr (128.93.11.23) 56(84) bytes of data.
64 bytes from brion.inria.fr (128.93.11.23): icmp_seq=1 ttl=41 time=342
ms
64 bytes from brion.inria.fr (128.93.11.23): icmp_seq=2 ttl=41 time=342
ms

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net