You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
You are right the command is no longer available as the documentation is unfortunately out of date. Unfortunately there is no single command that fixes the problem as some of the assumptions the documentation makes no longer hold. I have written a #68 (comment) on another issue on how to build a custom runtime. Let me know if that works for you as a workaround.
Many thanks.
Following advice from #68 I ran ./build_rts.py --rts-src-descriptor gnat_rts_sources/lib/gnat/rts-sources.json --build stm32f4 successfully:
runtimes successfully installed in /System/Volumes/Data/Ada_Source/bb-runtimes/install.
My only problem was in learning how to "clone" a fork! For which chatGPT provided the necessary instructions.
Now to try to do a runtime extension.
2_ENVIRONMENT.md specifies the command :
$ ./build_rts.py --bsps-only --output=build --prefix=arm-eabi/lib/gnat --link stm32f4
However running this command results in:
What should be the correct command?
The text was updated successfully, but these errors were encountered: