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

  • Subject: [Frama-c-discuss] Installation Frama-C and Jessie On Ubuntu64
  • From: Xingyu.Zhao.1 at city.ac.uk (Zhao, Xingyu)
  • Date: Mon, 10 Mar 2014 01:54:06 +0000
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
**********************************************