--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on June 2008 ---
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