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



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
**********************************************