# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1392796058 18000
# Node ID 3ba1b1d892438030800d023224cf5593a57c335a
# Parent  678e57893efea545721205cecf84b3d56634e592
fix for isl package; needed for build-gcc

diff -r 678e57893efe -r 3ba1b1d89243 dist-files.mk
--- a/dist-files.mk	Tue Feb 18 11:58:25 2014 -0500
+++ b/dist-files.mk	Wed Feb 19 02:47:38 2014 -0500
@@ -92,6 +92,7 @@
   gcc-2-darwin-no-pie.patch \
   gcc-cloog.mk \
   gcc-gmp.mk \
+  gcc-isl-1-fixes.patch \
   gcc-isl.mk \
   gcc-mpc.mk \
   gcc-mpfr.mk \
@@ -167,6 +168,7 @@
   ilmbase.mk \
   imagemagick.mk \
   intltool.mk \
+  isl-1-fixes.patch \
   isl.mk \
   itsol.mk \
   itstool.mk \
diff -r 678e57893efe -r 3ba1b1d89243 src/gcc-isl-1-fixes.patch
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/gcc-isl-1-fixes.patch	Wed Feb 19 02:47:38 2014 -0500
@@ -0,0 +1,12 @@
+diff -ur a/include/isl/int.h b/include/isl/int.h
+--- a/include/isl/int.h	2012-11-29 03:47:32.000000000 -0500
++++ b/include/isl/int.h	2014-02-19 02:44:04.311137242 -0500
+@@ -14,7 +14,7 @@
+ #include <string.h>
+ #include <gmp.h>
+ #if defined(__cplusplus)
+-#include <iostream>
++#include <ostream>
+ #endif
+ 
+ #if defined(__cplusplus)
diff -r 678e57893efe -r 3ba1b1d89243 src/isl-1-fixes.patch
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/isl-1-fixes.patch	Wed Feb 19 02:47:38 2014 -0500
@@ -0,0 +1,12 @@
+diff -ur a/include/isl/int.h b/include/isl/int.h
+--- a/include/isl/int.h	2012-11-29 03:47:32.000000000 -0500
++++ b/include/isl/int.h	2014-02-19 02:44:04.311137242 -0500
+@@ -14,7 +14,7 @@
+ #include <string.h>
+ #include <gmp.h>
+ #if defined(__cplusplus)
+-#include <iostream>
++#include <ostream>
+ #endif
+ 
+ #if defined(__cplusplus)