Projet

Général

Profil

0003-debian-disable-php7-28608.patch

Benjamin Dauvergne, 09 septembre 2019 13:37

Télécharger (1,17 ko)

Voir les différences: 

Subject: [PATCH 3/3] debian: disable php7 (#28608)


 debian-jessie/rules  | 1 +
 debian-stretch/rules | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)
debian-jessie/rules
51 51 
	--disable-gtk-doc \
52 52 
	--enable-perl \
53 53 
	--with-php5-config-dir=/etc/php5/mods-available/
54 
	--disable-php7
54 55 

  		




  55
  56
  
    

  		




  56
  57
  
    
ifeq ($(with_java),yes)

  		












  

    
      debian-stretch/rules
    
  





  61
  61
  
    
endif

  		




  62
  62
  
    

  		




  63
  63
  
    
ifeq ($(with_php),yes)

  		




  64
  
  
    
  CONFIGURE_ARGS += --enable-php5 --with-php5-config-dir=/etc/php5/mods-available/

  		




  
  64
  
    
  CONFIGURE_ARGS += --enable-php5 --with-php5-config-dir=/etc/php5/mods-available/ --enable-php7 --with-php7-config-dir=/etc/php/7.3/mods-available/

  		




  65
  65
  
    
else

  		




  66
  
  
    
  CONFIGURE_ARGS += --disable-php5

  		




  
  66
  
    
  CONFIGURE_ARGS += --disable-php5 --disable-php7

  		




  67
  67
  
    
endif

  		




  68
  68
  
    

  		




  69
  69
  
    

  		




  70
  
  
    
-