summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBenjamin Dauvergne <bdauvergne@entrouvert.com>2019-09-09 11:35:36 (GMT)
committerBenjamin Dauvergne <bdauvergne@entrouvert.com>2019-09-09 13:10:06 (GMT)
commitaf8f88cec5c1821d19bb772c3cf5bcdd128e6b2d (patch)
tree44658bb915b4a19e8549fb5b7924ccf68ea8660e
parente2ec5a7349d5e5608e7edb94d0184385417abc92 (diff)
downloadlasso-master.zip
lasso-master.tar.gz
lasso-master.tar.bz2
debian: disable php7 (#28608)HEADmaster
-rw-r--r--debian-jessie/rules1
-rwxr-xr-xdebian-stretch/rules4
2 files changed, 3 insertions, 2 deletions
diff --git a/debian-jessie/rules b/debian-jessie/rules
index 9e6598a..dceb391 100644
--- a/debian-jessie/rules
+++ b/debian-jessie/rules
@@ -51,6 +51,7 @@ CONFIGURE_ARGS := \
--disable-gtk-doc \
--enable-perl \
--with-php5-config-dir=/etc/php5/mods-available/
+ --disable-php7
ifeq ($(with_java),yes)
diff --git a/debian-stretch/rules b/debian-stretch/rules
index 5408bc7..26a13ed 100755
--- a/debian-stretch/rules
+++ b/debian-stretch/rules
@@ -61,9 +61,9 @@ else
endif
ifeq ($(with_php),yes)
- CONFIGURE_ARGS += --enable-php5 --with-php5-config-dir=/etc/php5/mods-available/
+ CONFIGURE_ARGS += --enable-php5 --with-php5-config-dir=/etc/php5/mods-available/ --enable-php7 --with-php7-config-dir=/etc/php/7.3/mods-available/
else
- CONFIGURE_ARGS += --disable-php5
+ CONFIGURE_ARGS += --disable-php5 --disable-php7
endif