Skip to content

Replaced cartesi/toolchain by debian cross compiler #21

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.

Sign up for GitHub

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

Jump to bottom
Closed
mpolitzer wants to merge 7 commits into from
Closed

Replaced cartesi/toolchain by debian cross compiler #21

mpolitzer wants to merge 7 commits into from

Conversation

@mpolitzer
Copy link
Collaborator

@mpolitzer mpolitzer commented Jun 15, 2023 •
edited
Loading

Replace cartesi/toolchain by debian:bookworm with its cross-compiler

closes #16

mpolitzer added 3 commits June 14, 2023 21:30
@mpolitzer
Added elf to clean target
76d2731
@mpolitzer
Updated CI download
f5aea35
@mpolitzer
Updated actions versions
530a375 
actions/checkout@v2 -> v3
docker/build-push-action@v2 -> v4
docker/login-action@v1 -> v2
docker/metadata-action@v3 -> v4
docker/setup-buildx-action@v1 -> v2
docker/setup-qemu-action@v1 -> v2
@mpolitzer mpolitzer self-assigned this Jun 15, 2023
@mpolitzer mpolitzer requested a review from a team June 15, 2023 08:37
edubart
edubart reviewed Jun 15, 2023
View reviewed changes
Copy link
Contributor

@edubart edubart left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I tested and it worked, this also bumps GCC to 12.2, so this may close #16

I just pointed some concerns about removed makefile targets and readme.

@mpolitzer mpolitzer force-pushed the feature/deb-headers branch from f033d8b to 9a68ae0 Compare June 15, 2023 14:30
@mpolitzer mpolitzer linked an issue Jun 15, 2023 that may be closed by this pull request
Compile kernel using GCC 12+ toolchain #16
Closed
@mpolitzer mpolitzer requested a review from vfusco June 15, 2023 21:05
edubart
edubart previously approved these changes Jun 19, 2023
View reviewed changes
@mpolitzer mpolitzer force-pushed the feature/deb-headers branch from 9a68ae0 to 1648515 Compare June 21, 2023 02:46
@edubart edubart added the enhancement New feature or request label Jun 23, 2023
Base automatically changed from feature/deb-headers to feature/update-ci-download July 5, 2023 00:51
@mpolitzer mpolitzer force-pushed the feature/debian-cross-compiler branch from 9e9fa5a to a6fd38a Compare July 6, 2023 14:38
@mpolitzer mpolitzer requested a review from a team July 6, 2023 14:44
@mpolitzer mpolitzer force-pushed the feature/update-ci-download branch from 3a70196 to 22aa782 Compare August 14, 2023 11:28
Base automatically changed from feature/update-ci-download to main August 14, 2023 11:49
@mpolitzer mpolitzer dismissed edubart’s stale review August 14, 2023 11:49

The base branch was changed.

@mpolitzer
Copy link
Collaborator Author

mpolitzer commented Feb 16, 2024

PR migrated to: #43

@mpolitzer mpolitzer closed this Feb 16, 2024
@mpolitzer mpolitzer deleted the feature/debian-cross-compiler branch February 16, 2024 14:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@edubart edubart edubart left review comments

@vfusco vfusco Awaiting requested review from vfusco

Assignees

@mpolitzer mpolitzer

Labels

enhancement New feature or request

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Compile kernel using GCC 12+ toolchain

3 participants

@mpolitzer @edubart