debian/rules
changeset 2518 4c0a23bd70b5
parent 1917 87d3518d73d8
equal deleted inserted replaced
2:f4b091679809 3:74dcb0dcc8e5
    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