Skip to content

Improve setup scripts for development #322

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

Merged
adpaco-aws merged 5 commits into from
Jul 13, 2021
Merged

Improve setup scripts for development #322

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
05a287a
Define dependencies with an array
tedinski Jul 12, 2021
9c87252
Add missing (non-CI) dependency
tedinski Jul 12, 2021
eef0a09
Use the downloaded file, if already downloaded
tedinski Jul 12, 2021
e994adc
swap back to wget
tedinski Jul 13, 2021
f96bb13
keep deps in alpha order for now
tedinski Jul 13, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 12 additions & 6 deletions scripts/setup/install_viewer.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,13 +2,19 @@
# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
# SPDX-License-Identifier: Apache-2.0 OR MIT

set -eux
set -eu

# Install cbmc-viewer
if [[ $# -eq 1 ]] ; then
wget https://github.com/awslabs/aws-viewer-for-cbmc/releases/download/viewer-$1/cbmc_viewer-$1-py3-none-any.whl \
&& sudo python3 -m pip install --upgrade cbmc_viewer-$1-py3-none-any.whl
else
echo "Error: Specify the version to install"

if [[ $# -ne 1 ]]; then
echo "$0: Error: Specify the version to install"
exit 1
fi

FILE="cbmc_viewer-$1-py3-none-any.whl"
URL="https://github.com/awslabs/aws-viewer-for-cbmc/releases/download/viewer-$1/$FILE"

set -x

wget -O "$FILE" "$URL"
sudo python3 -m pip install --upgrade "$FILE"
15 changes: 11 additions & 4 deletions scripts/setup/ubuntu-20.04/install_cbmc.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,16 @@
# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
# SPDX-License-Identifier: Apache-2.0 OR MIT

set -eux
set -eu

# Install CBMC 5.30.1 for Ubuntu 20.04
wget https://github.com/diffblue/cbmc/releases/download/cbmc-5.30.1/ubuntu-20.04-cbmc-5.30.1-Linux.deb \
&& sudo dpkg -i ubuntu-20.04-cbmc-5.30.1-Linux.deb \
&& cbmc --version

FILE="ubuntu-20.04-cbmc-5.30.1-Linux.deb"
URL="https://github.com/diffblue/cbmc/releases/download/cbmc-5.30.1/$FILE"

set -x

wget -O "$FILE" "$URL"
sudo dpkg -i "$FILE"

cbmc --version
51 changes: 28 additions & 23 deletions scripts/setup/ubuntu-20.04/install_deps.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,28 +2,33 @@
# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
# SPDX-License-Identifier: Apache-2.0 OR MIT

set -eux
set -eu

# Install tools in Ubuntu 20.04 via `apt-get`
sudo apt-get --yes update \
&& sudo DEBIAN_FRONTEND=noninteractive apt-get install --no-install-recommends --yes \
bison \
cmake \
ctags \
curl \
flex \
g++ \
gcc \
git \
gpg-agent \
libssl-dev \
lsb-release \
make \
ninja-build \
patch \
pkg-config \
python-is-python3 \
software-properties-common \
wget \
zlib1g \
DEPS=(
bison
cmake
ctags
curl
flex
g++
gcc
git
gpg-agent
libssl-dev
lsb-release
make
ninja-build
patch
pkg-config
python-is-python3
python3-pip # Default in CI, but missing in AWS AMI
software-properties-common
wget
zlib1g
zlib1g-dev
)

set -x

sudo apt-get --yes update
sudo DEBIAN_FRONTEND=noninteractive apt-get install --no-install-recommends --yes "${DEPS[@]}"