cicero : We msiss a configure option.

[Samuel Thibault]

Hello,

Didier Spaier, le ven. 14 d?c. 2018 18:27:13 +0100, a ecrit:
> The simplest way would be to use a configure
> option:
> with-cicero=no
> but this option does not exist.
> 
> Samuel, could you please add it?

I'm not sure to understand: what would this option do?  Just disable
building the module?  How is this useful?

Didier Spaier, le ven. 14 d?c. 2018 18:58:13 +0100, a ecrit:
> I don't know if anybody else tried it recently
> but I won't complain if you remove this module
> completely.

Removing it would mean that if anybody wants to revive cicero, it'll be
a bit harder for her/him to do so.

Samuel