Re: igc: trying to chase a crash

[Gerd Möllmann]

Andrea Corallo <acorallo@gnu.org> writes:

> Gerd Möllmann <gerd.moellmann@gmail.com> writes:
>
>> Andrea Corallo <acorallo@gnu.org> writes:
>>
>>> BTW, I think if the user explicitly uses --with-mps the configuration
>>> should fail if MPS is not available.
>>>
>>>   Andrea
>>
>> Can't say much about that - it's behaving like for some other libs ATM.
>
> True, but my feeling is that for important features like this (at least)
> the other behavior is better, that's why --with-nativecomp can signal an
> error.
>
> Also I assume that a user checking out scratch/igc and compiling with
> --with-mps really want to try igc :)

I've added that now, 1001 votes was bit much :-)