--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on March 2014 ---
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.