diff options
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/gmetadom/gcc-4.3.patch')
| -rw-r--r-- | nixpkgs/pkgs/development/ocaml-modules/gmetadom/gcc-4.3.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/gmetadom/gcc-4.3.patch b/nixpkgs/pkgs/development/ocaml-modules/gmetadom/gcc-4.3.patch new file mode 100644 index 00000000000..d8d1d463163 --- /dev/null +++ b/nixpkgs/pkgs/development/ocaml-modules/gmetadom/gcc-4.3.patch @@ -0,0 +1,18 @@ +#! /bin/sh /usr/share/dpatch/dpatch-run +## gcc-4.3.dpatch by Stefano Zacchiroli <zack@debian.org> +## +## All lines beginning with `## DP:' are a description of the patch. +## DP: ensure sources build with gcc-4.3 + +@DPATCH@ +diff -urNad trunk~/src/shared/Traits.hh.in trunk/src/shared/Traits.hh.in +--- trunk~/src/shared/Traits.hh.in 2003-01-14 12:41:55.000000000 +0100 ++++ trunk/src/shared/Traits.hh.in 2008-05-01 15:45:39.000000000 +0200 +@@ -26,6 +26,7 @@ + */ + + #include <string> ++#include <cstring> + + #include "@DOM_NAMESPACE@Char.hh" + |