debian/rules
changeset 1926 6a30ef4d10f1
parent 1917 87d3518d73d8
     1.1 --- a/debian/rules	Sun Jan 29 23:32:46 2006 +0000
     1.2 +++ b/debian/rules	Sun Jan 29 23:46:05 2006 +0000
     1.3 @@ -27,7 +27,7 @@
     1.4  config.status: configure
     1.5  	dh_testdir
     1.6  	# Add here commands to configure the package.
     1.7 -	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
     1.8 +	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
     1.9  
    1.10  
    1.11  build: build-stamp