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] Compiling Frama-C on Ubuntu 9.10
- Subject: [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- From: boris.hollas at gmx.de (Boris Hollas)
- Date: Mon, 19 Apr 2010 10:12:46 +0200
Hello, I want to install Frama-C Beryllium 2 with Jessie, why, alt-ergo and GUI (gWhy) on Ubuntu 9.10. Please give me detailed installation instructions: - What Ubuntu-packages do i have to install - What packages do I have to download and compile for Frama-C etc. - What is the order in which sources must be compiled and installed. So far, I've installed the packages ocaml and libgtk2.0-dev for Ubuntu and I've downloaded and compiled LablGTK and frama-c-Beryllium-20090902-why-2.21. It seems that these packages are not enough because the GUI is disabled: configure for LablGTK gives: LablGTK configuration: threads system native dynlink yes GtkGLArea not found libglade not found librsvg not found libgnomecanvas not found libgnomeui not found libpanelapplet not found gtkspell not found gtksourceview 1 not found gtksourceview 2 not found quartz not found debug no C compiler gcc I haven't installed LablGTK because I'm unsure whether the configuration is right. configure for frama-c-Beryllium-20090902-why-2.21 gives: configure: ************************************* configure: * CHECKING FOR PLUG-IN DEPENDENCIES * configure: ************************************* configure: WARNING: occurrence only partially enable because gui not enabled. configure: WARNING: security only partially enable because gui not enabled. configure: WARNING: slicing only partially enable because gui not enabled. configure: WARNING: value only partially enable because gui not enabled. configure: WARNING: impact only partially enable because gui not enabled. configure: WARNING: syntactic-callgraph only partially enable because gui not enabled. configure: WARNING: wp only partially enable because gui not enabled. configure: ********************* configure: * CREATING MAKEFILE * configure: ********************* configure: creating ./config.status config.status: creating cil/ocamlutil/perfcount.c config.status: creating share/Makefile.config configure: ******************************* configure: * SUMMARY: PLUG-INS AVAILABLE * configure: ******************************* configure: constant_propagation: yes configure: from: yes configure: gui: no (see warning about /usr/lib/ocaml/lablgtk2/lablgtksourceview.cmxa,/usr/lib/ocaml/lablgtksourceview/lablgtksourceview.cmxa) configure: impact: partial (gui not enabled) configure: inout: yes configure: ltl_to_acsl: partial, dynamic (see warning about ltl2ba) configure: metrics: yes configure: miel: no (not available by default) configure: occurrence: partial (gui not enabled) configure: pdg: yes configure: postdominators: yes configure: scope: yes configure: security: partial (gui not enabled) configure: semantic_callgraph: yes configure: slicing: partial (gui not enabled) configure: sparecode: yes configure: syntactic_callgraph: partial (gui not enabled) configure: users: yes configure: value: partial (gui not enabled) configure: wp: no (not available by default)
- Follow-Ups:
- [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- From: virgile.prevosto at cea.fr (Virgile Prevosto)
- [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- Prev by Date: [Frama-c-discuss] call graph of kernel files
- Next by Date: [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- Previous by thread: [Frama-c-discuss] call graph of kernel files
- Next by thread: [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- Index(es):