Re: HEADS UP: tarballs in darcs repos

2009-10-22 Thread Manuel M T Chakravarty
Simon Marlow: This is all a bit of a mess. I had a chat with Simon PJ this morning about what we should do, and the conclusion we came to is that we should go back to using darcs for tarballs, but we should put the Windows tarballs in a separate repository and not bother getting them on U

Re: HEADS UP: tarballs in darcs repos

2009-10-22 Thread Simon Marlow
This is all a bit of a mess. I had a chat with Simon PJ this morning about what we should do, and the conclusion we came to is that we should go back to using darcs for tarballs, but we should put the Windows tarballs in a separate repository and not bother getting them on Unix systems. libff

Re: HEADS UP: tarballs in darcs repos

2009-10-21 Thread Roman Leshchinskiy
On 22/10/2009, at 11:31, Manuel M T Chakravarty wrote: == running wget darcs.haskell.org:/home/darcs/ghc-tarballs/gcc- core-3.4.5-20060117-3.tar.gz -O mingw/gcc- core-3.4.5-20060117-3.tar.gz --2009-10-22 11:20:32-- ftp://darcs.haskell.org//home/darcs/ghc-tarballs/gcc-core-3.4.5-20060117-3.ta

Re: HEADS UP: tarballs in darcs repos

2009-10-21 Thread Roman Leshchinskiy
On 21/10/2009, at 19:33, Simon Marlow wrote: If we're getting/pulling from a local repo, shouldn't we try to grab the tarballs from there too? Yes, please! I have several GHC repos which all pull from a local mirror. Having to wget all tarballs for each of them would be too slow and too e

Re: HEADS UP: tarballs in darcs repos

2009-10-21 Thread Manuel M T Chakravarty
As if to demonstrate my earlier point, the new mechanism with wget failed on me right away. I have no idea what's going wrong. I set http_proxy, as I need to do that for darcs anyway and I guess wget should pick that up, too. In any case, I'm not keen on debugging this. There is no point

Re: HEADS UP: tarballs in darcs repos

2009-10-21 Thread Manuel M T Chakravarty
Malcolm Wallace: If you are using msys, then you can get a wget program by ... Just wanted to point out that MacOS X does not by default supply wget either (although it does have curl). That's right. I think it is a bad idea to require that wget is available to get GHC. This comes back

RE: HEADS UP: tarballs in darcs repos

2009-10-21 Thread Simon Peyton-Jones
ynagh | Cc: cvs-ghc@haskell.org | Subject: RE: HEADS UP: tarballs in darcs repos | | Ian | | | After pulling the latest HEAD, you will need to do | | ./darcs-all get | | in order for the new tarball syncing to happen. This will download the | | necessary tarballs with wget. | | | | This w

RE: HEADS UP: tarballs in darcs repos

2009-10-21 Thread Simon Peyton-Jones
vs-ghc-boun...@haskell.org] On Behalf Of | Ian Lynagh | Sent: 20 October 2009 20:58 | To: cvs-ghc@haskell.org | Subject: HEADS UP: tarballs in darcs repos | | | Hi all, | | After pulling the latest HEAD, you will need to do | ./darcs-all get | in order for the new tarball syncing to happen. This

RE: HEADS UP: tarballs in darcs repos

2009-10-21 Thread Simon Peyton-Jones
From: cvs-ghc-boun...@haskell.org [mailto:cvs-ghc-boun...@haskell.org] On | Behalf Of Ian Lynagh | Sent: 20 October 2009 20:58 | To: cvs-ghc@haskell.org | Subject: HEADS UP: tarballs in darcs repos | | | Hi all, | | After pulling the latest HEAD, you will need to do | ./darcs-all get | in

Re: HEADS UP: tarballs in darcs repos

2009-10-21 Thread Simon Marlow
On 20/10/2009 20:57, Ian Lynagh wrote: Hi all, After pulling the latest HEAD, you will need to do ./darcs-all get in order for the new tarball syncing to happen. This will download the necessary tarballs with wget. This will happen automatically with future tarball changes, as the darcs-a

Re: HEADS UP: tarballs in darcs repos

2009-10-21 Thread Malcolm Wallace
If you are using msys, then you can get a wget program by ... Just wanted to point out that MacOS X does not by default supply wget either (although it does have curl). Regards, Malcolm ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.h

HEADS UP: tarballs in darcs repos

2009-10-20 Thread Ian Lynagh
Hi all, After pulling the latest HEAD, you will need to do ./darcs-all get in order for the new tarball syncing to happen. This will download the necessary tarballs with wget. This will happen automatically with future tarball changes, as the darcs-all script will know to resync them when yo