diff -r bfad02f03c75 -r 41d8cd8250c9 config/companion_libs/isl.in
--- a/config/companion_libs/isl.in	Sat May 04 00:08:34 2013 +0200
+++ b/config/companion_libs/isl.in	Mon Feb 17 07:11:45 2014 +0100
@@ -6,6 +6,10 @@
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
 
+config ISL_V_0_12_2
+    bool
+    prompt "0.12.2"
+
 config ISL_V_0_11_1
     bool
     prompt "0.11.1"
@@ -16,4 +20,5 @@
     string
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    default "0.12.2" if ISL_V_0_12_2
     default "0.11.1" if ISL_V_0_11_1