diff src/isl-1-fixes.patch @ 3541:3ba1b1d89243

fix for isl package; needed for build-gcc
author John W. Eaton <jwe@octave.org>
date Wed, 19 Feb 2014 02:47:38 -0500
parents
children 780be3cf5995
line wrap: on
line diff
--- /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)