equal
deleted
inserted
replaced
25 endif |
25 endif |
26 |
26 |
27 config.status: configure |
27 config.status: configure |
28 dh_testdir |
28 dh_testdir |
29 # Add here commands to configure the package. |
29 # Add here commands to configure the package. |
30 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 |
30 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 |
31 |
31 |
32 |
32 |
33 build: build-stamp |
33 build: build-stamp |
34 |
34 |
35 build-stamp: config.status |
35 build-stamp: config.status |