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

feat: remove toolchain.sh in favor of Dockerfile #42

Merged
merged 6 commits into from
Aug 20, 2024
Merged

Conversation

mkroening
Copy link
Member

This PR should make iterating on the toolchain's components much easier and faster. One can just point the ADD layers to local sources for development as needed.

In the future, we could also replace this manual gcc bootstrapping with crosstool-NG, but I have not had a closer look yet.

Related PRs:

@mkroening mkroening self-assigned this Aug 20, 2024
@mkroening mkroening changed the title refactor: clone git repos using Docker feat: remove toolchain.sh in favor of Dockerfile Aug 20, 2024
@mkroening mkroening force-pushed the rm-toolchain.sh branch 2 times, most recently from ff5ef50 to 62e5fac Compare August 20, 2024 11:18
@mkroening mkroening added this pull request to the merge queue Aug 20, 2024
Merged via the queue into main with commit 68e664c Aug 20, 2024
1 check passed
@mkroening mkroening deleted the rm-toolchain.sh branch August 20, 2024 14:28
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.

1 participant