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.

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

Create a release bundle with an older glibc #3977

Open
zhassan-aws opened this issue Apr 2, 2025 · 0 comments
Open

Create a release bundle with an older glibc #3977

zhassan-aws opened this issue Apr 2, 2025 · 0 comments
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature.

Comments

@zhassan-aws
Copy link
Contributor

Since Kani 0.57.0, support for OS's with older versions of glibc (e.g. 2.26) has been dropped, e.g. AL2, Ubuntu 18.04, etc.

The result is that on those OS's, Kani has to be built from source, and cannot be installed using cargo install kani-verifier.

To re-enable support for those OS's, we can create a release bundle that is built on AL2.
@zhassan-aws zhassan-aws added the [C] Feature / Enhancement A new feature request or enhancement to an existing feature. label Apr 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@zhassan-aws