Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing Jessie plug-in


On 04/08/2013 05:17 AM, Stephen Siegel wrote:
> I've run into some problems installing the Jessie plugin on OS X 10.8.3, with Frama-C Oxygen.
>
> I downloaded why-2.32 from http://krakatoa.lri.fr/#jessie
> Did ./configure
> The Makefile turned out to have a bug here:
>
> -------------
> jc/jc_stdlib.ml: jc/jc_stdlib_lt312.ml jc/jc_stdlib_ge312.ml jc/jc_stdlib_ge40.\
> ml
>          rm -f $@
>          case $(OCAMLVERSION) in \
>           3.0*|3.10*|3.11*) cp jc/jc_stdlib_lt312.ml $@ ;; \
>           3.12*) cp jc/jc_stdlib_ge312.ml $@ ;; \
> #        4.*) cp jc/jc_stdlib_ge400.ml $@ ;; \
>           4.0*) cp jc/jc_stdlib_ge40.ml $@ ;; \
>          esac
>          chmod -w $@
>
> --------------
>
> The '#' sign comments out not just the physical line but the remainder of the entire logical line (including the 'esac').
> I tried deleting that physical line, then "sudo make" and "sudo make install" seemed to work without any warnings or errors.  The plugin was copied to the correct place in Frama-C.  But when I run frama-c -jessie I get this:

Thanks for reporting this bug. Good to hear that removing the line fixes 
at least the compilation.

> basic$ frama-c -jessie allZeroes.c
> [kernel] warning: cannot load plug-in `Jessie' (incompatible with Oxygen-20120901).

This is the typical message displayed when trying to load a plug-in that 
was compiled with a different OCaml version than the one used to compile 
Frama-C. Could you double-check that the Jessie.cmxs file in Frama-C 
plugins directory is not an old version ?

May be Frama-C kernel experts can suggest a better way to debug the 
problem ?

- Claude