--- layout: fc_discuss_archives title: Message 47 from Frama-C-discuss on July 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ubuntu build issue



>       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.