---
layout: fc_discuss_archives
title: Message 13 from Frama-C-discuss on June 2008
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Another small item for next release
- Subject: [Frama-c-discuss] Another small item for next release
- From: Jean-Christophe.Filliatre at lri.fr (Jean-Christophe Filliâtre)
- Date: Thu Jun 19 10:00:21 2008
- In-reply-to: <20080619095249.7f75adc2@is005115>
- References: <1213705907.20550.9.camel@shaptop.om-md.eros-os.com> <20080618101847.1e05ec4f@is005115> <1213810767.16628.2.camel@vmx> <20080619095249.7f75adc2@is005115>
> I can only speak for myself, but my guess is that the best option would
> be to keep releases of Why and Frama-C in sync and let the default
> Frama-C configuration use an already installed Why, keeping the local
> Why sources only as a backup if Why couldn't be found.
I second this, as one of Why's developpers.
--
Jean-Christophe