Open lukaselmer opened 5 months ago
I have not tested this project on a native ARM/ARM64 target. Unfortunately I don't have access to a macbook. Which base system have you used in Docker? I can try to reproduce it on a native Aarch64 Linux host.
Thanks for the quick repsonse. I think I found one of the issues: in the docker container, the alr
binary was compiled for amd64 instead of arm64. This is why it wouldn't work.
I'm now able to run the example app in a docker container (arm64 and amd64) using these two docker images: https://github.com/lukaselmer/ada-rust-experiments
However, it still doesn't run natively on my macbook 🤔 but I guess that's hard to debug without a physical machine
Great that you were able to resolve it (at least on arm64). With the updated alr binary do you get all the errors from the logs on the macbook or only some of them?
realpath: illegal option -- - dsl_unparse.py:1899: SyntaxWarning: invalid escape sequence '\$'
I would assume that these two issues are not architecture specific. They look like they come from langkit. Can you check whether you experience the same issues if you try to install it/run their tests?
Thank you for the hints!
Actually I didn't try the other binary on the mac yet. As far as I know mac has some amd64 emulation built-in (i think it's called rosetta), so the alr amd64 binary was working (well, kinda...).
I'll give it another shot tonight with the alr arm64 binary on the mac.
Ok, I'll try to install/run the langkit tests.
On Thu, Apr 4, 2024, 09:46 JK @.***> wrote:
Great that you were able to resolve it (at least on arm64). With the updated alr binary do you get all the errors from the logs on the macbook or only some of them?
realpath: illegal option -- - dsl_unparse.py:1899: SyntaxWarning: invalid escape sequence '$'
I would assume that these two issues are not architecture specific. They look like they come from langkit https://github.com/AdaCore/langkit. Can you check whether you experience the same issues if you try to install it/run their tests?
— Reply to this email directly, view it on GitHub https://github.com/jklmnn/gpr-rust/issues/9#issuecomment-2036426932, or unsubscribe https://github.com/notifications/unsubscribe-auth/AACP2FYGWAVONSK57YWPWWTY3UAMBAVCNFSM6AAAAABFUAWRN6VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAMZWGQZDMOJTGI . You are receiving this because you authored the thread.Message ID: @.***>
Have you had the opportunity to test it with the arm64 binary on the mac?
IIUC it worked for you on aarch64-linux?
Hi!
I'm not sure if the example app in gpr-rust is supposed to work:
in docker, where the host system is running on armit is working in docker: https://github.com/lukaselmer/ada-rust-experimentsPotential issues?
realpath: illegal option -- -
dsl_unparse.py:1899: SyntaxWarning: invalid escape sequence '\$'
Full output