From 96f9b5ee1f7d91a25fed2b2d2a7d8edf0ef1d85c Mon Sep 17 00:00:00 2001
From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Tue, 19 Aug 2014 15:12:46 +0200
Subject: [PATCH 1/1] More robust implementation of isl_version

---
 linpy/islhelper.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/linpy/islhelper.py b/linpy/islhelper.py
index c38e734..b0dffe7 100644
--- a/linpy/islhelper.py
+++ b/linpy/islhelper.py
@@ -16,6 +16,7 @@
 # along with LinPy.  If not, see <http://www.gnu.org/licenses/>.
 
 import ctypes, ctypes.util
+import re
 
 from . import _islhelper
 from ._islhelper import *
@@ -38,7 +39,8 @@ libisl = ctypes.CDLL(ctypes.util.find_library('isl'))
 libisl.isl_dim_set = _islhelper.dim_set
 
 libisl.isl_version.restype = ctypes.c_char_p
-isl_version = libisl.isl_version().decode().strip()[len('isl-'):]
+isl_version = libisl.isl_version().decode().strip()
+isl_version = re.sub(r'^isl-', '', isl_version)
 
 
 mainctx = libisl.isl_ctx_alloc()
-- 
2.20.1