pkgs/development/libraries/isl/fix-gcc-build.diff

   1 diff -ru isl-0.11.1/include/isl/int.h isl-0.11.1.new/include/isl/int.h
   2 --- isl-0.11.1/include/isl/int.h        2012-11-29 09:47:32.000000000 +0100
   3 +++ isl-0.11.1.new/include/isl/int.h    2013-10-27 15:35:31.348553812 +0100
   4 @@ -14,7 +14,7 @@
   5  #include <string.h>
   6  #include <gmp.h>
   7  #if defined(__cplusplus)
   8 -#include <iostream>
   9 +#include <ostream>
  10  #endif
  11
  12  #if defined(__cplusplus)