Do not rely on the autodetection of cplex and glpk.
authorladanyi
Sun, 29 Jan 2006 23:46:05 +0000
changeset 19266a30ef4d10f1
parent 1925 00b6f685ab8d
child 1927 12f289d6187f
Do not rely on the autodetection of cplex and glpk.
debian/changelog
debian/rules
     1.1 --- a/debian/changelog	Sun Jan 29 23:32:46 2006 +0000
     1.2 +++ b/debian/changelog	Sun Jan 29 23:46:05 2006 +0000
     1.3 @@ -1,4 +1,4 @@
     1.4 -lemon (0.4-1) unstable; urgency=low
     1.5 +lemon (0.5-1) unstable; urgency=low
     1.6  
     1.7    * Initial Release.
     1.8  
     2.1 --- a/debian/rules	Sun Jan 29 23:32:46 2006 +0000
     2.2 +++ b/debian/rules	Sun Jan 29 23:46:05 2006 +0000
     2.3 @@ -27,7 +27,7 @@
     2.4  config.status: configure
     2.5  	dh_testdir
     2.6  	# Add here commands to configure the package.
     2.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
     2.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
     2.9  
    2.10  
    2.11  build: build-stamp