diff -Nru llvm-toolchain-3.4-3.4.2/debian/changelog llvm-toolchain-3.4-3.4.2/debian/changelog
--- llvm-toolchain-3.4-3.4.2/debian/changelog	2014-10-15 15:54:10.000000000 +0200
+++ llvm-toolchain-3.4-3.4.2/debian/changelog	2015-05-05 12:40:02.000000000 +0200
@@ -1,3 +1,10 @@
+llvm-toolchain-3.4 (1:3.4.2-14) unstable; urgency=medium
+
+  * d/patches/isl-0.13-compat.diff, ensure compatibility with libisl13
+    (Closes: #783686)
+
+ -- Gianfranco Costamagna <costamagnagianfranco@yahoo.it>  Tue, 05 May 2015 12:39:15 +0200
+
 llvm-toolchain-3.4 (1:3.4.2-13) unstable; urgency=medium
 
   * Try again to fix the arm64 FTBFS (Closes: #764530)
diff -Nru llvm-toolchain-3.4-3.4.2/debian/patches/isl-0.13-compat.diff llvm-toolchain-3.4-3.4.2/debian/patches/isl-0.13-compat.diff
--- llvm-toolchain-3.4-3.4.2/debian/patches/isl-0.13-compat.diff	1970-01-01 01:00:00.000000000 +0100
+++ llvm-toolchain-3.4-3.4.2/debian/patches/isl-0.13-compat.diff	2015-05-05 14:46:07.000000000 +0200
@@ -0,0 +1,24 @@
+Description: Ensure compatibility with newer isl
+
+--- llvm-toolchain-3.4-3.4.2.orig/polly/lib/ScheduleOptimizer.cpp
++++ llvm-toolchain-3.4-3.4.2/polly/lib/ScheduleOptimizer.cpp
+@@ -396,7 +396,7 @@ IslScheduleOptimizer::getScheduleForBand
+       isl_band_list_free(Children);
+     } else if (PollyVectorizerChoice != VECTORIZER_NONE) {
+       for (int j = 0; j < isl_band_n_member(Band); j++) {
+-        if (isl_band_member_is_zero_distance(Band, j)) {
++        if (isl_band_member_is_coincident(Band, j)) {
+           isl_map *TileMap;
+           isl_union_map *TileUMap;
+ 
+--- llvm-toolchain-3.4-3.4.2.orig/polly/lib/CodeGen/CodeGeneration.cpp
++++ llvm-toolchain-3.4-3.4.2/polly/lib/CodeGen/CodeGeneration.cpp
+@@ -51,6 +51,7 @@
+ #include "cloog/isl/cloog.h"
+
+ #include "isl/aff.h"
++#include "isl/deprecated/int.h"
+
+ #include <vector>
+ #include <utility>
+
diff -Nru llvm-toolchain-3.4-3.4.2/debian/patches/series llvm-toolchain-3.4-3.4.2/debian/patches/series
--- llvm-toolchain-3.4-3.4.2/debian/patches/series	2014-10-09 09:09:41.000000000 +0200
+++ llvm-toolchain-3.4-3.4.2/debian/patches/series	2015-05-05 14:45:57.000000000 +0200
@@ -45,3 +45,4 @@
 lldb-libname.diff
 remove-dbtree.diff
 kfreebsd-path.diff
+isl-0.13-compat.diff