gcc failed to build against libmpc 1.3.0

[sepen]

During the compilation of gcc in stage1 it fails with the version of libmpc that we have.

checking for the correct version of gmp.h... yes
checking for the correct version of mpfr.h... yes
checking for the correct version of mpc.h... no
configure: error: Building GCC requires GMP 4.2+, MPFR 3.1.0+ and MPC 0.8.0+.
Try the --with-gmp, --with-mpfr and/or --with-mpc options to specify
their locations.  Source code for these libraries can be found at
their respective hosting sites as well as at
https://gcc.gnu.org/pub/gcc/infrastructure/.  See also
http://gcc.gnu.org/install/prerequisites.html for additional info.  If
you obtained GMP, MPFR and/or MPC from a vendor distribution package,
make sure that you have installed both the libraries and the header
files.  They may be located in separate packages.
=======> ERROR: Building '/workspace/ports/core-arm/gcc/gcc#12.2.0-1.pkg.tar.xz' failed.

[sepen]

Take as reference the GIT_CRUX_HASH chosen for CRUX's core ports we should have libmpc 1.3.0 but this is failing.
I have tried 1.3.1 which worked fine so we should increase GIT_CRUX_HASH to a point where they updated libmpc to 1.3.1.

A piece of gcc's config.log:

## ----------- ##
## Core tests. ##
## ----------- ##

configure:2378: checking build system type
configure:2392: result: arm-unknown-linux-gnueabihf
...skipping...
configure:8187: gcc -c -O2  -mfloat-abi=hard   conftest.c >&5
configure:8187: $? = 0
configure:8188: result: yes
configure:8205: checking for the correct version of mpc.h
configure:8222: gcc -c -O2  -mfloat-abi=hard   conftest.c >&5
configure:8222: $? = 0
configure:8238: gcc -c -O2  -mfloat-abi=hard   conftest.c >&5
configure:8238: $? = 0
configure:8239: result: yes
configure:8257: checking for the correct version of the gmp/mpfr/mpc libraries
configure:8288: gcc -o conftest -O2  -mfloat-abi=hard    conftest.c  -lmpc -lmpfr -lgmp >&5
...

cc @pitill0

[pitill0]

Perfect, I'll give a try on arm64 because last try if I remember right, with version 1.3.1 the problem persisted. So I need to re-check and confirm if we can avoid the ugly stdio.h hack.

[sepen]

The fact is that for unblocking this I need to bump a new GIT_CRUX_HASH in the Makefile and maybe more ports are included between our current hash and the new one. I need to look for it before.