diff -r 6ed5fe0ea387 -r 51eaad3a817b lemon/config.h.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lemon/config.h.in	Tue Dec 18 10:56:09 2007 +0100
@@ -0,0 +1,5 @@
+/* Define to 1 if you have CPLEX. */
+#undef HAVE_CPLEX
+
+/* Define to 1 if you have GLPK. */
+#undef HAVE_GLPK