1 files changed, 14 insertions, 0 deletions
diff --git a/polly/lib/External/isl/isl_version.c b/polly/lib/External/isl/isl_version.c
new file mode 100644
index 00000000000..a7ddd9dc8f9
--- /dev/null
+++ b/polly/lib/External/isl/isl_version.c
@@ -0,0 +1,14 @@
+#include "isl_config.h"
+#include "gitversion.h"
+
+const char *isl_version(void)
+{
+	return GIT_HEAD_ID
+#ifdef USE_GMP_FOR_MP
+	"-GMP"
+#endif
+#ifdef USE_IMATH_FOR_MP
+	"-IMath"
+#endif
+	"\n";
+}