diff options
Diffstat (limited to 'scripts/build/p-klee-linux-ubuntu.inc')
| -rw-r--r-- | scripts/build/p-klee-linux-ubuntu.inc | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/scripts/build/p-klee-linux-ubuntu.inc b/scripts/build/p-klee-linux-ubuntu.inc index f5e6aed2..4967aa3c 100644 --- a/scripts/build/p-klee-linux-ubuntu.inc +++ b/scripts/build/p-klee-linux-ubuntu.inc @@ -1,6 +1,25 @@ install_build_dependencies_klee() { apt update -y + # Add Kitware's certificate for CMake + dependencies=( + apt-transport-https + ca-certificates + gnupg + lsb-release + software-properties-common + wget + ) + + apt -y --no-install-recommends install "${dependencies[@]}" + wget -O - "https://apt.kitware.com/keys/kitware-archive-latest.asc" 2> /dev/null \ + | gpg --dearmor - | tee /etc/apt/trusted.gpg.d/kitware.gpg > /dev/null + + # Add CMake repository + codename="$(lsb_release --codename --short)" + apt-add-repository "deb https://apt.kitware.com/ubuntu/ ${codename} main" + + # Install KLEE's dependencies dependencies=( build-essential gcc-multilib # to generate 32bit |