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: guillaume.melquiond at inria.fr (Guillaume Melquiond)
  • Date: Sat, 08 Mar 2014 23:00:14 +0100
  • In-reply-to: <531B1571.9070806@city.ac.uk>
  • References: <531B1571.9070806@city.ac.uk>

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