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