--- layout: fc_discuss_archives title: Message 2 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



On 08/03/2014 14:04, Xingyu Zhao wrote:
> 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.

$ apt-file search sqlite3.cma
libsqlite3-ocaml: /usr/lib/ocaml/sqlite3/sqlite3.cma

But since you also need sqlite3.cmi, you might just as well install 
libsqlite3-ocaml-dev right from the start.

Best regards,

Guillaume