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 #33

Closed
wants to merge 0 commits into from
Closed

Conversation

mkroening
Copy link
Member

@mkroening mkroening commented Aug 9, 2024

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 9, 2024
@mkroening mkroening force-pushed the impl branch 5 times, most recently from cc3ddba to 77db1f8 Compare August 9, 2024 21:47
@mkroening mkroening changed the title fix: remove kernel time dependency workaround feat: rework Dockerfile and toolchain.sh Aug 10, 2024
@mkroening mkroening force-pushed the impl branch 7 times, most recently from 84d3ce6 to c7488d7 Compare August 11, 2024 15:42
@mkroening mkroening changed the title feat: rework Dockerfile and toolchain.sh feat: remove toolchain.sh Aug 12, 2024
@mkroening mkroening changed the title feat: remove toolchain.sh feat: remove toolchain.sh in favor of Dockerfile Aug 13, 2024
@mkroening mkroening force-pushed the impl branch 2 times, most recently from df9e825 to 9ef3ed8 Compare August 13, 2024 13:37
@mkroening mkroening marked this pull request as ready for review August 13, 2024 13:38
@mkroening
Copy link
Member Author

@stlankes, @CarlWachter, is this approach okay with you? Do Docker images work for you in principle, or do you need toolchain.sh for local development?

In my experience, focusing on Docker should make this easier for everyone in general.

@mkroening mkroening requested review from CarlWachter and stlankes and removed request for CarlWachter August 13, 2024 13:46
@CarlWachter
Copy link
Contributor

This seems like a good approach to me. The toolchain.sh usually caused a lot of headaches anyways.

@mkroening
Copy link
Member Author

I messed up the force-pushes and GitHub won't let me reopen: #42

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