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] Frama-c installation issue on Vista?
- Subject: [Frama-c-discuss] Frama-c installation issue on Vista?
- From: Claude.Marche at inria.fr (Claude Marche)
- Date: Fri, 23 Apr 2010 13:06:37 +0200
- In-reply-to: <OF6B4D538B.922D2EF2-ON6525770E.0037A323-6525770E.0037EA4D@tcs.com>
- References: <OF6B4D538B.922D2EF2-ON6525770E.0037A323-6525770E.0037EA4D@tcs.com>
R Metta wrote: > bash-3.2$ frama-c -jessie-analysis t.c > Anyway, option -jessie-analysis was renamed to -jessie quite a long time ago, so I guess the final answer might probably be "please install more recent Frama-C and Why releases"... - Claude -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | mobile: +33 6 33 14 57 93 Parc Orsay Universit? | fax: +33 1 74 85 42 29 4, rue Jacques Monod - B?timent N | http://www.lri.fr/~marche/ F-91893 ORSAY Cedex |
- References:
- [Frama-c-discuss] Frama-c installation issue on Vista?
- From: r.metta at tcs.com (R Metta)
- [Frama-c-discuss] Frama-c installation issue on Vista?
- Prev by Date: [Frama-c-discuss] Frama-c installation issue on Vista?
- Next by Date: [Frama-c-discuss] Frama-C Bordon and Why 2.24
- Previous by thread: [Frama-c-discuss] Frama-c installation issue on Vista?
- Next by thread: [Frama-c-discuss] Frama-C Boron and Why 2.24 package for Mac OS X
- Index(es):