Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Need native ARM64 Linux toolchain #1509

Open
pmunts opened this issue Nov 30, 2023 · 12 comments
Open

Need native ARM64 Linux toolchain #1509

pmunts opened this issue Nov 30, 2023 · 12 comments

Comments

@pmunts
Copy link

pmunts commented Nov 30, 2023

to run on 64-bit Raspberry Pi OS (which is based on arm64 Debian 12). ARM64 Linux computers are becoming mainstream; I even saw an ARM64 Chromebook at Best Buy on Black Friday.

@pmunts pmunts changed the title Need ARM64 Linux toolchain Need native ARM64 Linux toolchain Nov 30, 2023
@Fabien-Chouteau
Copy link
Member

Hello @pmunts, it's on our TODO list :)

In the meantime, I am pretty sure Debian will provide a GNAT package that you can use.

@dalybrown
Copy link
Contributor

Me too!

I currently use gnat, gprbuild, and alire from Debian for arm64 development. However, I build gnatprove, gnatcov, ada_language_server, gnattest, etc. myself for arm64. So +1 to this request! Thanks!

@dalybrown
Copy link
Contributor

@pmunts we internally build our own ARM64 linux toolchain for Ada (including all those tools I mentioned above and more). It's not in our public repository at the moment but we would be more than happy to make it public to share. Ideally it would be hosted with their amd64 counterparts.

If you let me know what tools you want first I can prioritize moving those builds to our public repository or just send them to you.

@ethantimpe
Copy link

@dalybrown Making your ARM64 toolchain public would be great! Whenever I try to build them myself, mainly gnatcov, I always seem to end up with 20 dependencies that don't all fit together very well.

@dalybrown
Copy link
Contributor

How soon do you need it all? I'm swamped over the next few weeks but early spring I can move all our toolchains builds to GitHub. I planned to do that already anyways at some point.

@dalybrown
Copy link
Contributor

I noticed a bit of work on arm64 tooling ... but it seems mostly for Apple Silicon.

Is it still the plan to have all the tooling available for linux arm64 @mosteo ? I'm currently building everything I mentioned above and it's a pain to maintain!

@mosteo
Copy link
Member

mosteo commented Jul 26, 2024

Hi @dalybrown, I'm not involved in the work on particular compiler architectures. I guess @Fabien-Chouteau will know better.

@ghost
Copy link

ghost commented Jul 26, 2024 via email

@dalybrown
Copy link
Contributor

Hi @dalybrown, I'm not involved in the work on particular compiler architectures. I guess @Fabien-Chouteau will know better.

Right on. I'll let him reply and go from there.

@ghost
Copy link

ghost commented Jul 26, 2024 via email

@Fabien-Chouteau
Copy link
Member

Hi,

I noticed a bit of work on arm64 tooling ... but it seems mostly for Apple Silicon.

Because GitHub now provides Actions runners for Apple arm64 platforms. Which is not the case for other OSes, so we are limited in what we can do here.

@dalybrown
Copy link
Contributor

Hi,

I noticed a bit of work on arm64 tooling ... but it seems mostly for Apple Silicon.

Because GitHub now provides Actions runners for Apple arm64 platforms. Which is not the case for other OSes, so we are limited in what we can do here.

Ok!

Does GitHub allow you to run docker on the Apple arm64 runners? If so, it would be straightforward to build the tools. I'm happy to contribute to that (I already build all the tools for linux arm64 using qemu + docker on amd64 machines and then just docker on my Mac M1).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

5 participants