# HG changeset patch
# User ladanyi
# Date 1138578365 0
# Node ID 6a30ef4d10f194c01ee8bea7e9db947cee092cdc
# Parent  00b6f685ab8d7fe0ae447df00bcdfc0ab10c5c27
Do not rely on the autodetection of cplex and glpk.

diff -r 00b6f685ab8d -r 6a30ef4d10f1 debian/changelog
--- a/debian/changelog	Sun Jan 29 23:32:46 2006 +0000
+++ b/debian/changelog	Sun Jan 29 23:46:05 2006 +0000
@@ -1,4 +1,4 @@
-lemon (0.4-1) unstable; urgency=low
+lemon (0.5-1) unstable; urgency=low
 
   * Initial Release.
 
diff -r 00b6f685ab8d -r 6a30ef4d10f1 debian/rules
--- a/debian/rules	Sun Jan 29 23:32:46 2006 +0000
+++ b/debian/rules	Sun Jan 29 23:46:05 2006 +0000
@@ -27,7 +27,7 @@
 config.status: configure
 	dh_testdir
 	# Add here commands to configure the package.
-	CFLAGS="$(CFLAGS)" ./configure --host=$(DEB_HOST_GNU_TYPE) --build=$(DEB_BUILD_GNU_TYPE) --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info --enable-gui
+	CFLAGS="$(CFLAGS)" ./configure --host=$(DEB_HOST_GNU_TYPE) --build=$(DEB_BUILD_GNU_TYPE) --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info --enable-gui --with-glpk --without-cplex
 
 
 build: build-stamp