[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gentoo-dev
Subject:    Re: [gentoo-dev] [PATCH 12/17] profiles: Remove unused php5-2 target
From:       Michael Orlitzky <mjo () gentoo ! org>
Date:       2016-05-26 19:01:02
Message-ID: 574747EE.2080806 () gentoo ! org
[Download RAW message or body]

On 05/26/2016 02:43 PM, Michał Górny wrote:
> ---
>  profiles/desc/php_targets.desc | 1 -
>  1 file changed, 1 deletion(-)
> 
> diff --git a/profiles/desc/php_targets.desc b/profiles/desc/php_targets.desc
> index 6108b0b..75d09ce 100644
> --- a/profiles/desc/php_targets.desc
> +++ b/profiles/desc/php_targets.desc
> @@ -9,4 +9,3 @@ php5-6 - Build against PHP 5.6
>  php5-5 - Build against PHP 5.5
>  php5-4 - Build against PHP 5.4
>  php5-3 - Build against PHP 5.3
> -php5-2 - Build against PHP 5.2
> 

I think media-libs/ming-0.4.4-r1.ebuild is the only thing left that
lists php5-3. Considering that we have

  # Brian Evans <grknight@gentoo.org> (22 Jan 2015)
  # PHP module split into dev-php/ming-php which is still ~arch
  <media-libs/ming-0.4.5 php

in base/package.use.mask, it's probably safe to kill php5-3, too, unless
that throws warnings.


[prev in list] [next in list] [prev in thread] [next in thread]