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