separate out config header from isl_ctx.h

diff --git a/Makefile.am b/Makefile.am
index 084e618..334e000 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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 (file)
index 0000000..5dd5d00
--- /dev/null
+++ b/include/isl_libs.h.in
@@ -0,0 +1,2 @@
+#undef ISL_POLYLIB
+#undef ISL_PIPLIB