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 14:05:13 +0200
- In-reply-to: <4BCC3D8B.7020301@inria.fr>
- References: <1271664766.2090.3.camel@iti27> <20100419102741.3d1f3c42@is010235> <1271668015.2090.24.camel@iti27> <4BCC1FD7.40305@cea.fr> <1271671844.2090.28.camel@iti27> <1271672778.2090.46.camel@iti27> <y2tb15d09071004190333ib4b8dc17ga5c34988517623b0@mail.gmail.com> <1271675099.2090.49.camel@iti27> <4BCC3D8B.7020301@inria.fr>
I tried to reproduce my previous error messages by running ./configure && make && sudo make install, but got a new error message that some shell script is not executable. Then I removed all source files, freshly extracted frama-c-Beryllium-20090902-why-2.21.tar.gz and alt-ergo-0.9.tar.gz, and run ./configure && make && sudo make install. this time, no error messages showed up and Frama-C/Jessie now works. I installed the following packages with dependencies: - ocaml - liblablgtk2-ocaml-dev - liblablgtksourceview-ocaml-dev - graphviz - libocamlgraph-ocaml-dev I downloaded and compiled: - frama-c-Beryllium-20090902-why-2.21.tar.gz - alt-ergo-0.9.tar.gz Could you please update the installation instructions for frama-c-Beryllium-20090902-why-2.21.tar.gz and alt-ergo-0.9.tar.gz? The next challenge will be to have our sysadmin install it in a PC lab with Suse Linux -Boris
- References:
- [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- From: boris.hollas at gmx.de (Boris Hollas)
- [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
- From: boris.hollas at gmx.de (Boris Hollas)
- [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- From: Julien.Signoles at cea.fr (Julien Signoles)
- [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- From: boris.hollas at gmx.de (Boris Hollas)
- [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- From: boris.hollas at gmx.de (Boris Hollas)
- [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- From: pascal.cuoq at gmail.com (Pascal Cuoq)
- [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- From: boris.hollas at gmx.de (Boris Hollas)
- [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- From: Claude.Marche at inria.fr (Claude Marche)
- [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- Prev by Date: [Frama-c-discuss] New release 2.24 of Why
- Next by Date: [Frama-c-discuss] why-2.24 install question
- Previous by thread: [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- Next by thread: [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- Index(es):