Skip to content

Improve portability of generate-runtimes.sh#21

Merged
damaki merged 1 commit into
mainfrom
topic/generate-runtimes-macos
Apr 13, 2026
Merged

Improve portability of generate-runtimes.sh#21
damaki merged 1 commit into
mainfrom
topic/generate-runtimes-macos

Conversation

@damaki

@damaki damaki commented Apr 1, 2026

Copy link
Copy Markdown
Owner

No description provided.

@mstahl-iis

Copy link
Copy Markdown

This fixes the options problem, but I still get:

# ./generate-runtimes.sh --target rp2040
Generating runtimes
install runtime sources for rp2040
runtimes successfully installed in /Users/stahlml/Repos/ADA/community-bb-runtimes/install
Patching runtime light-rp2040
./generate-runtimes.sh: line 77: --runtime-dir=install/${profile}-${target,,}: bad substitution

The bash in MacOS is 5.3.9(1)-release (aarch64-apple-darwin25.1.0). It seems that lowercase substitution is not available.

@damaki damaki force-pushed the topic/generate-runtimes-macos branch from 1611c50 to 162671c Compare April 8, 2026 18:40
@damaki

damaki commented Apr 8, 2026

Copy link
Copy Markdown
Owner Author

Thanks for trying that out! It turns out lowercase substitution is no longer necessary, so I've removed that. Hopefully it should work now for you.

@mstahl-iis

Copy link
Copy Markdown

Works for me.

@damaki

damaki commented Apr 13, 2026

Copy link
Copy Markdown
Owner Author

Thanks for confirming!

@damaki damaki merged commit 572c667 into main Apr 13, 2026
2 checks passed
@damaki damaki deleted the topic/generate-runtimes-macos branch April 13, 2026 12:25
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

Successfully merging this pull request may close these issues.

2 participants