Skip to content

Create a release bundle with an older glibc #3977

@zhassan-aws

Description

@zhassan-aws

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    [C] Feature / EnhancementA new feature request or enhancement to an existing feature.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions