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] why-2.24 install question

On Wed, 2010-04-21 at 10:02 +0200, Claude Marche wrote:
> Sorry for the inconvenience.
> I'm waiting for a while, if other problems like that show up, and then 
> we will make a new release

I believe that many users would appreciate a Frama-C distribution that
includes frama-c itself, why, Jessie, and alt-ergo. It is much easier to
run just one configure script to get a complete working environment
rather than having to download and install several tarballs separately.
Also, installations problems with the various parts of Frama-C could be
reduced with a configure script that automatically sets up everything.