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] Installation Frama-C and Jessie On Ubuntu64 Encountered the Package `sqlite3' not found

  • Subject: [Frama-c-discuss] Installation Frama-C and Jessie On Ubuntu64 Encountered the Package `sqlite3' not found
  • From: Xingyu.zhao.1 at city.ac.uk (Xingyu Zhao)
  • Date: Sat, 8 Mar 2014 13:04:49 +0000
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.