1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-23 07:26:54 +00:00
nixpkgs/pkgs/development/ocaml-modules/gmetadom/gcc-4.3.dpatch
Russell O'Connor 88ec92d14c Matita and its dependencies.
svn path=/nixpkgs/trunk/; revision=25328
2010-12-31 17:48:55 +00:00

19 lines
538 B
Plaintext

#! /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"