From 440e08d3978df27037ab602d02c6d31cd48135cc Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@purples.(none)>
Date: Sat, 5 Sep 2009 14:32:01 +0200
Subject: [PATCH] separate out config header from isl_ctx.h

---
 Makefile.am                         | 3 ++-
 configure.ac                        | 2 +-
 include/{isl_ctx.h.in => isl_ctx.h} | 4 +---
 include/isl_libs.h.in               | 2 ++
 4 files changed, 6 insertions(+), 5 deletions(-)
 rename include/{isl_ctx.h.in => isl_ctx.h} (98%)
 create mode 100644 include/isl_libs.h.in

diff --git a/Makefile.am b/Makefile.am
index 084e618..334e000 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -127,11 +127,12 @@ isl_polytope_scan_SOURCES = \
 	polytope_scan.c
 
 nodist_pkginclude_HEADERS = \
-	include/isl_ctx.h \
+	include/isl_libs.h \
 	include/isl_stdint.h
 pkginclude_HEADERS = \
 	include/isl_blk.h \
 	include/isl_constraint.h \
+	include/isl_ctx.h \
 	include/isl_dim.h \
 	include/isl_div.h \
 	include/isl_ilp.h \
diff --git a/configure.ac b/configure.ac
index c1fbe28..c97990d 100644
--- a/configure.ac
+++ b/configure.ac
@@ -128,7 +128,7 @@ AM_CONDITIONAL(HAVE_PIPLIB, test x$have_piplib = xtrue)
 AM_CONDITIONAL(BUNDLED_PIPLIB, test $with_piplib = bundled)
 
 AC_CONFIG_HEADERS(config.h)
-AC_CONFIG_HEADERS(include/isl_ctx.h)
+AC_CONFIG_HEADERS(include/isl_libs.h)
 AC_CONFIG_FILES(Makefile)
 if test $with_piplib = bundled; then
 	AC_CONFIG_SUBDIRS(piplib)
diff --git a/include/isl_ctx.h.in b/include/isl_ctx.h
similarity index 98%
rename from include/isl_ctx.h.in
rename to include/isl_ctx.h
index 780ec36..874b1a8 100644
--- a/include/isl_ctx.h.in
+++ b/include/isl_ctx.h
@@ -7,9 +7,7 @@
 #include <isl_int.h>
 #include <isl_blk.h>
 #include <isl_hash.h>
-
-#undef ISL_POLYLIB
-#undef ISL_PIPLIB
+#include <isl_libs.h>
 
 #if defined(__cplusplus)
 extern "C" {
diff --git a/include/isl_libs.h.in b/include/isl_libs.h.in
new file mode 100644
index 0000000..5dd5d00
--- /dev/null
+++ b/include/isl_libs.h.in
@@ -0,0 +1,2 @@
+#undef ISL_POLYLIB
+#undef ISL_PIPLIB
-- 
2.7.4