diff --git a/ChangeLog b/ChangeLog
index 4d45d9d8ed1f268f76633e9cd088a64f726a4a96..69ccc64498488d32d23307a8011d400da5e50479 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2014-11-11  Tobias Burnus  <burnus@net-b.de>
+
+	* Makefile.def: Remove CLooG.
+	* Makefile.in: Regenerate.
+
 2014-11-11  David Malcolm  <dmalcolm@redhat.com>
 
 	* ChangeLog.jit: New.
diff --git a/Makefile.def b/Makefile.def
index 24dfb0bca86cb9c0076e52112264350dc24b0b95..a68f2083e5608ce8782f21d4b76ecbccf39eb75d 100644
--- a/Makefile.def
+++ b/Makefile.def
@@ -314,6 +314,7 @@ dependencies = { module=all-gcc; on=all-libiberty; hard=true; };
 dependencies = { module=all-gcc; on=all-intl; };
 dependencies = { module=all-gcc; on=all-mpfr; };
 dependencies = { module=all-gcc; on=all-mpc; };
+dependencies = { module=all-gcc; on=all-isl; };
 dependencies = { module=all-gcc; on=all-build-texinfo; };
 dependencies = { module=all-gcc; on=all-build-bison; };
 dependencies = { module=all-gcc; on=all-build-flex; };
diff --git a/Makefile.in b/Makefile.in
index 94edf5f2bf32e8d26cb3d680e4d03a970847072f..9e686843f6c3360899992605ee7f2f6c253d386b 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -47692,6 +47692,14 @@ all-stage3-gcc: maybe-all-stage3-mpc
 all-stage4-gcc: maybe-all-stage4-mpc
 all-stageprofile-gcc: maybe-all-stageprofile-mpc
 all-stagefeedback-gcc: maybe-all-stagefeedback-mpc
+all-gcc: maybe-all-isl
+
+all-stage1-gcc: maybe-all-stage1-isl
+all-stage2-gcc: maybe-all-stage2-isl
+all-stage3-gcc: maybe-all-stage3-isl
+all-stage4-gcc: maybe-all-stage4-isl
+all-stageprofile-gcc: maybe-all-stageprofile-isl
+all-stagefeedback-gcc: maybe-all-stagefeedback-isl
 all-gcc: maybe-all-build-texinfo
 
 all-stage1-gcc: maybe-all-build-texinfo