RE: Hugs and Linux

2000-11-13 Thread Mark P Jones
| Actually, the July2000 release hasn't been noted on | http://haskell.org/hugs -- is there somewhere else I should be looking | to keep track of it? There is/was no July 2000 release of Hugs; Jeff put out a snapshot from the CVS archive for the convenience of Redhat 7.0 users and used the July

Re: Hugs and Linux

2000-11-12 Thread William Lee Irwin III
On Fri, Nov 10, 2000 at 07:33:34AM -0800, Jeffrey R. Lewis wrote: There will be a release of hugs sometime around the end of the year, I believe, that will fix all of this. In the meantime, you can grab an interim version from the following URLs:

RE: Hugs and Linux

2000-11-10 Thread Julian Seward (Intl Vendor)
| I can't get hugs98 to work under my linuxplatform. I have the Red | Hat distirbution 7.0. | The problem is that hugs requires a file called "readline.so.3" and | I have "readline.so.4" on my system. Does anyone know how to get | around this problem?? I guess you are installing a binary RPM?

Re: Hugs and Linux

2000-11-10 Thread Fergus Henderson
On 10-Nov-2000, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: I can't get hugs98 to work under my linuxplatform. I have the Red Hat distirbution 7.0. The problem is that hugs requires a file called "readline.so.3" and I have "readline.so.4" on my system. Does anyone know how to get around

Re: Hugs and Linux

2000-11-10 Thread Dennis Bjorklund
On Fri, 10 Nov 2000 [EMAIL PROTECTED] wrote: I can't get hugs98 to work under my linuxplatform. I have the Red Hat distirbution 7.0. The problem is that hugs requires a file called "readline.so.3" and I have "readline.so.4" on my system Simply install readline.so.3. It should be in the

Re: Hugs and Linux

2000-11-10 Thread Yiorgos Adamopoulos
On Fri, Nov 10, 2000 at 11:58:05AM +0100, [EMAIL PROTECTED] wrote: I can't get hugs98 to work under my linuxplatform. I have the Red Hat distirbution 7.0. Both Hugs and GHC do not compile out of the box on RH7.0 ___ Haskell mailing list [EMAIL

Re: Hugs and Linux

2000-11-10 Thread Jeffrey R. Lewis
[EMAIL PROTECTED] wrote: I can't get hugs98 to work under my linuxplatform. I have the Red Hat distirbution 7.0. The problem is that hugs requires a file called "readline.so.3" and I have "readline.so.4" on my system. Does anyone know how to get around this problem?? There will be a