--- layout: fc_discuss_archives title: Message 47 from Frama-C-discuss on July 2010 ---
> CVCL 2.2 (not supported) cvc3 ... > Fatal error: exception Assert_failure("intf/gConfig.ml", 93, 5) > make: *** [fff.stat] Error 2 > [jessie] user error: Jessie subprocess failed: make -f > fff.makefile gui After a look to the intf/gConfig.ml file, it seems that why-config does not work properly when CVCL is detected (the same if Harvey, Zenon, ..., are available on your system). Maybe I'm wrong (I can't test presently), but trying: - to rename cvcl program in such way to make it unavailable from why-config, - or to remove lines related to CVCL in the generated ~/.gwhyrc file, might solve this problem. Note that this issue seems to be resolved in the next release of gWhy. HTH, D.