coq fails to compile Cint because Zbits is not found
ID0002155: This issue was created automatically from Mantis Issue 2155. Further discussion may take place here.
|ID0002155||Frama-C||Plug-in > wp||public||2015-09-02||2016-06-21|
|Product Version||Frama-C Sodium||Target Version||-||Fixed in Version||Frama-C Aluminium|
As described in https://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-March/004380.html, I get the same error message that Cint can't be compiled because Zbits isn't compiled yet.
I'm getting this on a Debian system.
I attached a patch based on the mail that seems to fix the issue for me.