Obsolete picochip-* in 4.7.2+

Hi!

As discussed on IRC, the picochip-* port doesn't have an active maintainer
anymore, this patch adds it to deprecated ports for 4.7.2+ so that it can be removed in
GCC 4.8 unless somebody steps up to maintain it.

Ok for trunk/4.7?

2012-09-11  Jakub Jelinek  <jakub@redhat.com>

	* config.gcc: Obsolete picochip-*.



	Jakub
2012-09-11  Jakub Jelinek  <jakub@redhat.com>

	* config.gcc: Obsolete picochip-*.

--- gcc/config.gcc	2012-09-05 14:52:14.428548941 +0200
+++ gcc/config.gcc	2012-09-11 17:05:15.147522191 +0200
@@ -245,7 +245,8 @@ md_file=
 
 # Obsolete configurations.
 case ${target} in
-   score-*				\
+   picochip-*				\
+ | score-*				\
  )
     if test "x$enable_obsolete" != xyes; then
       echo "*** Configuration ${target} is obsolete." >&2
--- gcc-4.7/changes.html	10 Aug 2012 16:25:46 -0000	1.124
+++ gcc-4.7/changes.html	11 Sep 2012 15:15:38 -0000
@@ -29,7 +29,14 @@
     next release of GCC will have their sources permanently
     <strong>removed</strong>.</p>
 
-    <p id="obsoleted">The following ports for individual systems on
+    <p id="obsoleted">All GCC ports for the following processor
+    architectures have been declared obsolete:</p>
+
+    <ul>
+	  <li>picoChip (<code>picochip-*</code>)</li>
+    </ul>
+
+    <p>The following ports for individual systems on
     particular architectures have been obsoleted:</p>
 
     <ul>

> Hi!
>
> As discussed on IRC, the picochip-* port doesn't have an active maintainer
> anymore, this patch adds it to deprecated ports for 4.7.2+ so that it can be removed in
> GCC 4.8 unless somebody steps up to maintain it.
>
> Ok for trunk/4.7?
>
> 2012-09-11  Jakub Jelinek<jakub@redhat.com>
>
> 	* config.gcc: Obsolete picochip-*.
>
> --- gcc/config.gcc	2012-09-05 14:52:14.428548941 +0200
> +++ gcc/config.gcc	2012-09-11 17:05:15.147522191 +0200
> @@ -245,7 +245,8 @@ md_file=
>
>   # Obsolete configurations.
>   case ${target} in
> -   score-*				\
> +   picochip-*				\
> + | score-*				\
>    )
>       if test "x$enable_obsolete" != xyes; then
>         echo "*** Configuration ${target} is obsolete.">&2
>
> --- gcc-4.7/changes.html	10 Aug 2012 16:25:46 -0000	1.124
> +++ gcc-4.7/changes.html	11 Sep 2012 15:15:38 -0000
> @@ -29,7 +29,14 @@
>       next release of GCC will have their sources permanently
>       <strong>removed</strong>.</p>
>
> -<p id="obsoleted">The following ports for individual systems on
> +<p id="obsoleted">All GCC ports for the following processor
> +    architectures have been declared obsolete:</p>
> +
> +<ul>
> +	<li>picoChip (<code>picochip-*</code>)</li>
> +</ul>
> +
> +<p>The following ports for individual systems on
>       particular architectures have been obsoleted:</p>
>
>       <ul>
>

As some of you will be aware, picoChip was acquired earlier this year by 
Mindspeed Technologies. Although the picoChip specific tool chain, which 
includes the port of GCC, is still being actively used by customers in 
existing products, further development of picoChip products is ceasing 
and customers are migrating to the equivalent Mindspeed products. No 
further development work will be undertaken for picoGcc, and no one 
within Mindspeed will be able to continue to support the port, so it is 
right that the picochip port should be obsoleted.

Thank you to everyone who has helped myself and the other maintainers of 
the picochip port over the years.

regards,

dan.

On Tue, Sep 11, 2012 at 5:21 PM, Jakub Jelinek <jakub@redhat.com> wrote:
> Hi!
>
> As discussed on IRC, the picochip-* port doesn't have an active maintainer
> anymore, this patch adds it to deprecated ports for 4.7.2+ so that it can be removed in
> GCC 4.8 unless somebody steps up to maintain it.
>
> Ok for trunk/4.7?

Ok.

Thanks,
Richard.

> 2012-09-11  Jakub Jelinek  <jakub@redhat.com>
>
>         * config.gcc: Obsolete picochip-*.
>
> --- gcc/config.gcc      2012-09-05 14:52:14.428548941 +0200
> +++ gcc/config.gcc      2012-09-11 17:05:15.147522191 +0200
> @@ -245,7 +245,8 @@ md_file=
>
>  # Obsolete configurations.
>  case ${target} in
> -   score-*                             \
> +   picochip-*                          \
> + | score-*                             \
>   )
>      if test "x$enable_obsolete" != xyes; then
>        echo "*** Configuration ${target} is obsolete." >&2
>
> --- gcc-4.7/changes.html        10 Aug 2012 16:25:46 -0000      1.124
> +++ gcc-4.7/changes.html        11 Sep 2012 15:15:38 -0000
> @@ -29,7 +29,14 @@
>      next release of GCC will have their sources permanently
>      <strong>removed</strong>.</p>
>
> -    <p id="obsoleted">The following ports for individual systems on
> +    <p id="obsoleted">All GCC ports for the following processor
> +    architectures have been declared obsolete:</p>
> +
> +    <ul>
> +         <li>picoChip (<code>picochip-*</code>)</li>
> +    </ul>
> +
> +    <p>The following ports for individual systems on
>      particular architectures have been obsoleted:</p>
>
>      <ul>
>
>
>         Jakub