From 77f791d16e4ff0774b6f6d880dc065b004bd987c Mon Sep 17 00:00:00 2001
From: Lnc <hnc@singularity.fr>
Date: Mon, 19 Aug 2013 15:33:05 +0200
Subject: [PATCH] Add isl and cloog-isl CMake modules (for CMake find_package
 function)

NB: the isl module is there for convenience purpose. If it appears
someday in isl itself, it should be removed.
---
 Makefile.am                  |  4 ++++
 cmake/cloog-isl-config.cmake | 26 ++++++++++++++++++++++++++
 cmake/isl-config.cmake       | 25 +++++++++++++++++++++++++
 3 files changed, 55 insertions(+)
 create mode 100644 cmake/cloog-isl-config.cmake
 create mode 100644 cmake/isl-config.cmake

diff --git a/Makefile.am b/Makefile.am
index 5ac1b75..fd0f5c3 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -146,6 +146,10 @@ EXTRA_DIST = \
 install-data-local:
 	@test -z "$(pkgconfig_libdir)" || $(mkdir_p) "$(DESTDIR)$(pkgconfig_libdir)"
 	$(INSTALL_DATA) $(pkgconfig_libfile) "$(DESTDIR)$(pkgconfig_libdir)/$(pkgconfig_libfile)"
+	@test -z "$(DESTDIR)$(libdir)/isl" || $(mkdir_p) "$(DESTDIR)$(libdir)/isl"
+	$(INSTALL_DATA) "cmake/isl-config.cmake" "$(DESTDIR)$(libdir)/isl/"
+	@test -z "$(DESTDIR)$(libdir)/$(PACKAGE_NAME)" || $(mkdir_p) "$(DESTDIR)$(libdir)/$(PACKAGE_NAME)"
+	$(INSTALL_DATA) "cmake/cloog-isl-config.cmake" "$(DESTDIR)$(libdir)/$(PACKAGE_NAME)/"
 
 uninstall-local:
 	rm -f "$(DESTDIR)$(pkgconfig_libdir)/$(pkgconfig_libfile)"
diff --git a/cmake/cloog-isl-config.cmake b/cmake/cloog-isl-config.cmake
new file mode 100644
index 0000000..1cdfedc
--- /dev/null
+++ b/cmake/cloog-isl-config.cmake
@@ -0,0 +1,26 @@
+# Try to find the cloog-isl library
+
+# CLOOG_ISL_FOUND       - System has cloog-isl lib
+# CLOOG_ISL_INCLUDE_DIR - The cloog-isl include directory
+# CLOOG_ISL_LIBRARY     - Library needed to use cloog-isl
+
+
+if (CLOOG_ISL_INCLUDE_DIR AND CLOOG_ISL_LIBRARY)
+	# Already in cache, be silent
+	set(CLOOG_ISL_FIND_QUIETLY TRUE)
+endif()
+
+find_path(CLOOG_ISL_INCLUDE_DIR NAMES cloog/isl/cloog.h)
+find_library(CLOOG_ISL_LIBRARY NAMES cloog-isl)
+
+if (CLOOG_ISL_LIBRARY AND CLOOG_ISL_INCLUDE_DIR)
+	message(STATUS "Library cloog-isl found =) ${CLOOG_ISL_LIBRARY}")
+else()
+	message(STATUS "Library cloog-isl not found =(")
+endif()
+
+
+include(FindPackageHandleStandardArgs)
+FIND_PACKAGE_HANDLE_STANDARD_ARGS(CLOOG_ISL DEFAULT_MSG CLOOG_ISL_INCLUDE_DIR CLOOG_ISL_LIBRARY)
+
+mark_as_advanced(CLOOG_ISL_INCLUDE_DIR CLOOG_ISL_LIBRARY)
diff --git a/cmake/isl-config.cmake b/cmake/isl-config.cmake
new file mode 100644
index 0000000..ae9c241
--- /dev/null
+++ b/cmake/isl-config.cmake
@@ -0,0 +1,25 @@
+# Try to find the isl library
+
+# ISL_FOUND       - System has isl lib
+# ISL_INCLUDE_DIR - The isl include directory
+# ISL_LIBRARY     - Library needed to use isl
+
+
+if (ISL_INCLUDE_DIR AND ISL_LIBRARY)
+	# Already in cache, be silent
+	set(ISL_FIND_QUIETLY TRUE)
+endif()
+
+find_path(ISL_INCLUDE_DIR NAMES isl/version.h)
+find_library(ISL_LIBRARY NAMES isl)
+
+if (ISL_LIBRARY AND ISL_INCLUDE_DIR)
+	message(STATUS "Library isl found =) ${ISL_LIBRARY}")
+else()
+	message(STATUS "Library isl not found =(")
+endif()
+
+include(FindPackageHandleStandardArgs)
+FIND_PACKAGE_HANDLE_STANDARD_ARGS(ISL DEFAULT_MSG ISL_INCLUDE_DIR ISL_LIBRARY)
+
+mark_as_advanced(ISL_INCLUDE_DIR ISL_LIBRARY)
-- 
2.11.4.GIT