[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
cicero : We msiss a configure option.
From: |
Samuel Thibault |
Subject: |
cicero : We msiss a configure option. |
Date: |
Sun, 16 Dec 2018 01:17:27 +0100 |
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