--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on September 2014 ---
Hello, Le ven. 05 sept. 2014 21:41:39 CEST, Jos? Pinheiro <7jpinheiro at gmail.com> a ?crit : > Yes, i checked they are correctly installed and i also tested using > the $(shell frama-c -print-lib-path) and $(shell frama-c > -print-share-path) accordingly. > > I was able to fix the error, by opening on the source code of the > plugin both the modules Plugin and Printer. For some reason this two > modules now require that i explicitly open them in the source code, > all the other modules are working normally without the need to > explicit opening them in the source code. > The issue is very probably that Why3 also has modules called Plugin and Printer, a situation which confuses OCaml when it is asked to search for .cmi in both Why3 and Frama-C library directories. There's little that can be done short of renaming or packing the files (in particular, I wouldn't bet that your fix will work consistently across various OCaml versions). Best regards, -- E tutto per oggi, a la prossima volta. Virgile