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] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie
- Subject: [Frama-c-discuss] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie
- From: Claude.Marche at inria.fr (Claude Marché)
- Date: Tue, 22 Aug 2017 11:13:18 +0200
- In-reply-to: <10D55205-14E6-4FB1-A9E6-C05D2BDC389A@gmail.com>
- References: <3FCF49F1-B405-4C81-A893-79892ABB36AE@seas.upenn.edu> <e0f1c172-ad99-bac2-c649-2fff1f467624@inria.fr> <082AB0D7-DBA1-4B97-AF20-DFDA8613D747@seas.upenn.edu> <9E26C873-151C-4D44-8BC6-386567B13D9A@seas.upenn.edu> <40e5928f-6156-cc1a-60af-b6b5fbe9435d@inria.fr> <83147AF2-F4BD-464F-9A53-C0C939D8F319@seas.upenn.edu> <b33f64b1-7222-0e8d-911c-035740f0b26f@inria.fr> <65058_1503389762_599BE841_65058_6192_1_599BE837.8050001@cea.fr> <599BE87A.4040309@cea.fr> <0763C956-4AFD-41C7-ADFE-0C52B61ED14B@gmail.com> <6854ac9b-e1c4-27c8-e529-d0e8d18d4887@inria.fr> <10D55205-14E6-4FB1-A9E6-C05D2BDC389A@gmail.com>
Le 22/08/2017 à 10:53, Junkil âDavidâ Park a écrit : > checking Frama-c version... > configure: WARNING: bad Frama-c version "", you need version Silicon there's a bug here... what is the answer of frama-c --version ? -- Claude Marché | tel: +33 1 69 15 66 08 INRIA Saclay - Ãle-de-France | Université Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ F-91405 ORSAY Cedex |
- Follow-Ups:
- [Frama-c-discuss] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie
- From: juki14 at gmail.com (Junkil “David” Park)
- [Frama-c-discuss] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie
- References:
- [Frama-c-discuss] [Why-discuss] Installing Jessie
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] [Why-discuss] Installing Jessie
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie
- From: Julien.Signoles at cea.fr (Julien Signoles)
- [Frama-c-discuss] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie
- From: juki14 at gmail.com (Junkil “David” Park)
- [Frama-c-discuss] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie
- From: juki14 at gmail.com (Junkil “David” Park)
- [Frama-c-discuss] [Why-discuss] Installing Jessie
- Prev by Date: [Frama-c-discuss] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie
- Next by Date: [Frama-c-discuss] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie
- Previous by thread: [Frama-c-discuss] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie
- Next by thread: [Frama-c-discuss] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie
- Index(es):