diff options
author | Russell O'Connor <roconnor@theorem.ca> | 2010-12-31 17:48:55 +0000 |
---|---|---|
committer | Russell O'Connor <roconnor@theorem.ca> | 2010-12-31 17:48:55 +0000 |
commit | 88ec92d14c400eee0164ace51e5b37e8bf035676 (patch) | |
tree | c7c5d538c20ed91252dbd1380da844b50d367697 /pkgs/development/ocaml-modules/gmetadom/gcc-4.3.dpatch | |
parent | d3bb1b263001b3035f779ffcdb4588b7a8284eae (diff) | |
download | nixlib-88ec92d14c400eee0164ace51e5b37e8bf035676.tar nixlib-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.gz nixlib-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.bz2 nixlib-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.lz nixlib-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.xz nixlib-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.zst nixlib-88ec92d14c400eee0164ace51e5b37e8bf035676.zip |
Matita and its dependencies.
svn path=/nixpkgs/trunk/; revision=25328
Diffstat (limited to 'pkgs/development/ocaml-modules/gmetadom/gcc-4.3.dpatch')
-rw-r--r-- | pkgs/development/ocaml-modules/gmetadom/gcc-4.3.dpatch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/gmetadom/gcc-4.3.dpatch b/pkgs/development/ocaml-modules/gmetadom/gcc-4.3.dpatch new file mode 100644 index 000000000000..d8d1d4631632 --- /dev/null +++ b/pkgs/development/ocaml-modules/gmetadom/gcc-4.3.dpatch @@ -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" + |