Re: arm support for gprbuild

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)

iQIcBAEBCgAGBQJTrwOiAAoJEOE4WtzWSuY/Wq4QALjzXeUrQqQ6u7AD32d/b+MW
0O9+W7r2zGdRllAATrFckWcWpO5Z99m097U5bRdn6bO+sDy2Oiy9/Y+FSV9vJkkq
kFY3nsiJDkzXI2UFk+ZVYBdrW3asPhHlG8TQsiFi5p3bnleKUf8qhKs8BOMzjXdS
1BAulgU9X6jHuMjUkWZvU+mRJbyfdB8fuHPboPyhHUvsEN/Kae/VHgv4r2rcXT5e
Rq8w+aVKy2MdGl3XzGUnVvra/K34q3FcHfRwlS1fpD/9bBmrJWcuV0et9LjoWAIn
uZbXMePCfTYVyOtmq1FDdGULBiY5tisP3LsuocLbo1O89Mk3t05awbCkZcPjFOtD
tuDIbp8oP+AV9yZAWLFvUGovxk9IEPlbLU/C6d1ZzaDrB9AuMJZiZ4slYJZoNZlE
/qC+FWbOdaiTA9UzWZuSD8h793OFfyT6pMZErPLUHpR1PFAhUvAWX4t884S0ZOmK
stJKwqn1zMdWAolU55xjDoen3U67beM4DeL5SMvO0tCE7nhgBLPX0ja4fwYg4kOp
e9m452JUVFtOivjSNTUf4X2lpsik0nsJ3X96mgKydDtFW6b4gH3O0fliJOhbVYQI
+ZWhgTplempFtboj26s47aTq8Qd8RqvTYbpPY+omSXFDpoPuwBsAJOAAGi264l/u
2uCmp6o8KZPdA2h9Tmex
=X+UO
-----END PGP SIGNATURE-----
Pavel Zhukov wrote:
>
> Hi all,
>
> As you probably know gprbuild is broken in Fedora'ARM.
> It happened because (for some reasons) koji uses
> --target=armv7hl-redhat-linux-gnu for gprbuild configuration but
> gprbuild expects armv7hl-redhat-linux-gnueabi ("gcc -dumpmachine"'s
> output).
> I sent email to @devel and @arm and response was like "Gcc and mock
> do wrong things but we use that we want for consistency" [1].
> I'd not like to hardcore target somewhere or use dirty "sed tricks"
> to workaround that configuration.
>
> So... I need help :(
> Any ideas/suggestions?

I have very little time for Fedora work currently, but I would like to
at least understand what the problem is. Could you answer some questions
to help me understand the problem?

· Do you know if there's an important difference between "gnu" and
"gnueabi", or if it's just two names for the same thing?

· I get the impression that GPRbuild has a default target compiled in,
which it uses if --target isn't passed, and the value it uses for the
default comes from the RPM macro "configure". Is that right?

· Do GPRbuild and GPRconfig use the target string only for comparing to
the output of "gcc -dumpmachine", or is it also used for something else?
Does GPRbuild for example pass parameters to GCC based on the target
string that affect how GCC compiles code?

Björn