[m-dev.] Pb with readline and rotd

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Jun 13 03:08:03 AEST 2001

On 12-Jun-2001, Erwan Jahier <Erwan.Jahier at irisa.fr> wrote:
> I am not sure to which list this message should go, but anyway...
> I have downloaded the last stable rotd that failed to compile because it was not
> finding readline library. 

You mean the source distribution, I presume.

> I finally managed to turn around that problem by passing --without-readline as
> an option of configure. Can't that be done automatically?

It is supposed to be done automatically.

Could you start again from the distribution, run configure,
and then post your configure.log and config.log files?

Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list