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

Ease setup in Amazon Linux 2 #2833

Merged
merged 4 commits into from
Oct 24, 2023
Merged

Conversation

adpaco-aws
Copy link
Contributor

@adpaco-aws adpaco-aws commented Oct 20, 2023

Adds a set of scripts to automate building and installing most dependencies in Amazon Linux 2 environments.

This will make it easier to provide ARM64 binaries for Linux (see #2805). The installation of dependencies isn't minimal but improves our situation w.r.t. AL2.

Testing done manually on remote AL2 ARM64 instances, after running this I'm able to run the regression successfully.

Callouts

  • Hasn't been tested on AL2 x86.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@adpaco-aws adpaco-aws requested a review from a team as a code owner October 20, 2023 21:57
scripts/setup/al2/install_cbmc.sh Outdated Show resolved Hide resolved
scripts/setup/al2/reinstall_cmake.sh Outdated Show resolved Hide resolved
scripts/setup/al2/reinstall_cmake.sh Outdated Show resolved Hide resolved
@celinval
Copy link
Contributor

Can you install rustup as well in your scripts?

@adpaco-aws
Copy link
Contributor Author

It's a bit unexpected for a setup script to delete an existing version of a program.

We now avoid building cmake from source by installing cmake3 and using that to build CBMC.

Can you install rustup as well in your scripts?

Sure, just added that too.

@adpaco-aws adpaco-aws merged commit 9c9c07c into model-checking:main Oct 24, 2023
13 checks passed
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.

3 participants