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

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



Here is a patch submitted to me by Igor Galic to support DESTDIR 
properly in install targets of Frama-c, Why and Ocamlgraph.


-------- Message original --------
Sujet: Frama-C Patch
Date: Mon, 16 Jun 2008 21:58:34 +0000
De: Igor Gali? <i.galic@brainsware.org>
Organisation: Brainsware
Pour: benjamin.monate@cea.fr


Hi Benjamin,

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.

So long,
Igor


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


-- 
| Benjamin Monate         | mailto:benjamin.monate@cea.fr     |
| Ing?nieur-Chercheur     | CEA-LIST/DRT/DTSI/SOL/LSL         |
-------------- section suivante --------------
Une pi?ce jointe non texte a ?t? nettoy?e...
Nom: destdir.patch
Type: text/x-patch
Taille: 9525 octets
Desc: non disponible
Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20080617/6bb2f0ed/destdir-0001.bin
-------------- section suivante --------------
Une pi?ce jointe non texte a ?t? nettoy?e...
Nom: signature.asc
Type: application/pgp-signature
Taille: 197 octets
Desc: non disponible
Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20080617/6bb2f0ed/signature-0001.pgp