debian: disable php7 (#28608)
This commit is contained in:
parent
e2ec5a7349
commit
af8f88cec5
|
@ -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)
|
||||
|
|
|
@ -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
|
||||
|
||||
|
||||
|
|
Loading…
Reference in New Issue