1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-05 20:12:52 +00:00
nixpkgs/pkgs/development/libraries/buddy/gcc-4.3.3-fixes.patch
Peter Simons 17d75b8168 Fixed build of pkgs/development/libraries/buddy with gcc 4.3.3.
svn path=/nixpkgs/trunk/; revision=16150
2009-07-02 17:06:01 +00:00

23 lines
750 B
Diff

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"