[m-dev.] Pb with readline and rotd

[Fergus Henderson]

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
--------------------------------------------------------------------------