--- /dev/null
+--- pluto-0.11.0/include/pluto/libpluto.h.orig 2014-05-30 10:28:06.000000000 +0200
++++ pluto-0.11.0/include/pluto/libpluto.h 2014-10-06 16:13:49.032098067 +0200
+@@ -1,7 +1,8 @@
+ #ifndef __LIBPLUTO__
+ #define __LIBPLUTO__
+-#include "isl/union_set.h"
+-#include "isl/union_map.h"
++#include <isl/union_set.h>
++#include <isl/union_map.h>
++#include <osl/scop.h>
+
+ #if defined(__cplusplus)
+ extern "C" {
# Source0-md5: c391e6d4cf49712ef638662c9193c707
Patch0: %{name}-system-libs.patch
Patch1: %{name}-updates.patch
+Patch2: %{name}-include.patch
URL: http://pluto-compiler.sourceforge.net/
BuildRequires: autoconf >= 2.50
BuildRequires: automake
%setup -q
%patch0 -p1
%patch1 -p1
+%patch2 -p1
%build
%{__libtoolize}