From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Tue, 19 Aug 2014 13:12:46 +0000 (+0200)
Subject: More robust implementation of isl_version
X-Git-Tag: 1.0~45
X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/commitdiff_plain/96f9b5ee1f7d91a25fed2b2d2a7d8edf0ef1d85c

More robust implementation of isl_version
---

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()