ghc via ftp

2001-06-26 Thread Michael Sperber [Mr. Preprocessor]
Salve glorious Glasgow Haskell teamsters! The ghc release notes keep announcing that the ghc distro is available via anonymous ftp, referring to details below. However, there never seem to be any details, and ftp.haskell.org sadly doesn't answer my prayers on the ftp command line. Any chance

Doc bugs in building from fptools state of the fptools

2001-06-26 Thread Gregory Wright
Hi, I was recently building ghc-5.00.2 from a cvs download of fptools and noticed a few glitches, which could be considered documentation issues. (The cvs tag of the fpconfig ghc was ghc-5-00-2.) The installed version of ghc on my RedHat 6.2 linux system was 4.08.2. When doing the second

Re: ghc via ftp

2001-06-26 Thread Michael Weber
On Tue, Jun 26, 2001 at 15:02:28 +0200, Michael Sperber [Mr. Preprocessor] wrote: Salve glorious Glasgow Haskell teamsters! The ghc release notes keep announcing that the ghc distro is available via anonymous ftp, referring to details below. However, there never seem to be any details,

Re: ghc via ftp

2001-06-26 Thread Michael Sperber [Mr. Preprocessor]
J == Intl Vendor Julian writes: J | The ghc release notes keep announcing that the ghc distro is J | available via anonymous ftp, referring to details below. J I guess that's now a bogus thing to say -- I'm inclined to fix J the ANNOUNCE file. Do you particularly need ftp rather than http

RE: ghc via ftp

2001-06-26 Thread Julian Seward (Intl Vendor)
| The ghc release notes keep announcing that the ghc distro is | available via anonymous ftp, referring to details below. I guess that's now a bogus thing to say -- I'm inclined to fix the ANNOUNCE file. Do you particularly need ftp rather than http access to these files? J

Re: ghc via ftp

2001-06-26 Thread Michael Sperber [Mr. Preprocessor]
Keith == Keith Wansbrough [EMAIL PROTECTED] writes: Keith [EMAIL PROTECTED] (Michael Sperber [Mr. Keith Preprocessor]) writes: For mirroring, yes. This doesn't work particularly well over http. Keith What about wget? wget --mirror seems to work for me... Sure, but the overhead is pretty