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

.github/workflows: Fix missing dependency to LIBCOMPILER_RT #1033

Conversation

nderjung
Copy link
Member

@nderjung nderjung commented Aug 9, 2023

Prerequisite checklist

  • Read the contribution guidelines regarding submitting new changes to the project;
  • Tested your changes against relevant architectures and platforms;
  • Ran the checkpatch.uk on your commit series before opening this PR;
  • Updated relevant documentation.

Base target

  • Architecture(s): [all]
  • Platform(s): [all]

Additional configuration

Description of changes

Following the merge of 0, the use of complex numbers requires the
external microlibrary compiler-rt1. Without this inclusion, builds
that set CONFIG_LIBMUSL_COMPLEX will fail.

Following the merge of [0], the use of complex numbers requires the
external microlibrary `compiler-rt`[1].  Without this inclusion, builds
that set `CONFIG_LIBMUSL_COMPLEX` will fail.

[0]: unikraft/lib-musl#64
[1]: https://github.com/unikraft/lib-compiler-rt

Signed-off-by: Alexander Jung <alex@unikraft.io>
@nderjung nderjung marked this pull request as ready for review August 9, 2023 13:16
@nderjung nderjung requested a review from a team as a code owner August 9, 2023 13:16
@nderjung nderjung added the hotfix Urgent fix requiring prioritized attention. label Aug 9, 2023
@nderjung nderjung added this to the v0.14.0 (Prometheus) milestone Aug 9, 2023
@nderjung nderjung added the area/workflows Issue or PR relates to GitHub action workflows label Aug 9, 2023
Copy link
Contributor

@razvand razvand left a comment

Choose a reason for hiding this comment

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

Reviewed-by: Razvan Deaconescu razvand@unikraft.io
Approved-by: Razvan Deaconescu razvand@unikraft.io

@unikraft-bot unikraft-bot added the ci/merged Merged by CI label Aug 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/workflows Issue or PR relates to GitHub action workflows ci/merged Merged by CI hotfix Urgent fix requiring prioritized attention.
Projects
Status: Done!
Development

Successfully merging this pull request may close these issues.

None yet

3 participants