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] [Fwd: Frama-C Patch]


  • Subject: [Frama-c-discuss] [Fwd: Frama-C Patch]
  • From: benjamin.monate at cea.fr (Benjamin Monate)
  • Date: Tue Jun 17 10:49:27 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