diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/buddy/gcc-4.3.3-fixes.patch')
| -rw-r--r-- | nixpkgs/pkgs/development/libraries/buddy/gcc-4.3.3-fixes.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/libraries/buddy/gcc-4.3.3-fixes.patch b/nixpkgs/pkgs/development/libraries/buddy/gcc-4.3.3-fixes.patch new file mode 100644 index 000000000000..2e7efd1c4666 --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/buddy/gcc-4.3.3-fixes.patch @@ -0,0 +1,22 @@ +diff -uwr buddy-2.4.orig/examples/bddcalc/parser.yxx buddy-2.4/examples/bddcalc/parser.yxx +--- buddy-2.4.orig/examples/bddcalc/parser.yxx 2009-07-02 17:12:48.000000000 +0200 ++++ buddy-2.4/examples/bddcalc/parser.yxx 2009-07-02 17:18:36.000000000 +0200 +@@ -7,6 +7,7 @@ + + %{ + #include <string> ++#include <cstdlib> + #include <stdarg.h> + #include <fstream> + #include <getopt.h> +diff -uwr buddy-2.4.orig/src/bddtest.cxx buddy-2.4/src/bddtest.cxx +--- buddy-2.4.orig/src/bddtest.cxx 2009-07-02 17:12:48.000000000 +0200 ++++ buddy-2.4/src/bddtest.cxx 2009-07-02 17:14:05.000000000 +0200 +@@ -28,6 +28,7 @@ + ========================================================================*/ + + #include <string> ++#include <cstdlib> + #include "bdd.h" + #include "bvec.h" + |