--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on June 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Re: Frama-C Patch



Hi Igor,

Igor Gali? a ?crit :
> I spent a bit of a time getting it to build..
 > The result of which is a patch to the build system for a DESTDIR,
 > which should make installations less cumbersome.

Sorry for the inconvenience, and many thanks for your patch.
We will integrate it in the next release and propagate it to original 
authors of Why and Ocamlgraph.

> P.S.: I first wanted to submit the patch to the gforge, but that,
> too seemed a bit cumbersome itself....

The public mailing list is available but its access may be a little too 
buried in the forge. I will check this out.
I will forward your patch to this mailing list to inform other users.

Thanks again for your interest in Frama-C,
Cheers,
-- 
| Benjamin Monate         | mailto:benjamin.monate@cea.fr     |
| Ing?nieur-Chercheur     | CEA-LIST/DRT/DTSI/SOL/LSL         |
| B?t. 528 Pt. 115a       | 91191 Gif-sur-Yvette CEDEX        |
| T?l. 01 69 08 94 09     | Fax : 01 69 08 83 95              |