--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on March 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Installation Frama-C and Jessie On Ubuntu64 Encountered the Package `sqlite3' not found



Dear All,

Following this very useful link 
http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2013-August/003749.html 
, I installed my set-up successfully. But I encountered a bug which 
might be a problem to me in my future work (as I need to use the 
why3bench later). That is, when I configure the why3, it says:

ocamlfind: Package `sqlite3' not found
checking for /usr/lib/ocaml/sqlite3/sqlite3.cma... no
configure: WARNING: Lib sqlite3 not found, why3bench disabled.

but I am sure I have installed it with "sudo apt-get install sqlite3". I 
searched the whole file system and I cannot find the file sqlite3.cma.

And the this problem seems only happen with 64-bit Ubuntu, as I used to 
install the set-up with the exactly same steps on 32-bit Ubuntu without 
this problem.

So it seems to me, on the latest 64-bit Ubuntu, the sqlite3 could not be 
automaticly compiled by

ocaml-native-compilers


Anyone has the same problem? Any help will be appreciated.

Regards,
Xingyu.