--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on March 2014 ---
Dear Guillaume, Thanks for your help, it works. -----Original Message----- From: frama-c-discuss-request at lists.gforge.inria.fr [mailto:frama-c-discuss-request at lists.gforge.inria.fr] Sent: 2014?3?9? 11:02 To: frama-c-discuss at lists.gforge.inria.fr Subject: Frama-c-discuss Digest, Vol 70, Issue 2 Send Frama-c-discuss mailing list submissions to frama-c-discuss at lists.gforge.inria.fr To subscribe or unsubscribe via the World Wide Web, visit http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss or, via email, send a message with subject or body 'help' to frama-c-discuss-request at lists.gforge.inria.fr You can reach the person managing the list at frama-c-discuss-owner at lists.gforge.inria.fr When replying, please edit your Subject line so it is more specific than "Re: Contents of Frama-c-discuss digest..." Today's Topics: 1. Installation Frama-C and Jessie On Ubuntu64 Encountered the Package `sqlite3' not found (Xingyu Zhao) 2. Re: Installation Frama-C and Jessie On Ubuntu64 Encountered the Package `sqlite3' not found (Guillaume Melquiond) ---------------------------------------------------------------------- Message: 1 Date: Sat, 8 Mar 2014 13:04:49 +0000 From: Xingyu Zhao <Xingyu.zhao.1 at city.ac.uk> To: <frama-c-discuss at lists.gforge.inria.fr> Subject: [Frama-c-discuss] Installation Frama-C and Jessie On Ubuntu64 Encountered the Package `sqlite3' not found Message-ID: <531B1571.9070806 at city.ac.uk> Content-Type: text/plain; charset="ISO-8859-1"; format=flowed 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. ------------------------------ Message: 2 Date: Sat, 08 Mar 2014 23:00:14 +0100 From: Guillaume Melquiond <guillaume.melquiond at inria.fr> To: frama-c-discuss at lists.gforge.inria.fr Subject: Re: [Frama-c-discuss] Installation Frama-C and Jessie On Ubuntu64 Encountered the Package `sqlite3' not found Message-ID: <531B92EE.2050702 at inria.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed 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 ------------------------------ _______________________________________________ Frama-c-discuss mailing list Frama-c-discuss at lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss End of Frama-c-discuss Digest, Vol 70, Issue 2 **********************************************