diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2022-03-28 13:34:50 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-30 12:18:59 +0100 |
| commit | 31f92c57dd2627d4f8c7a5a1e280397456af6a72 (patch) | |
| tree | 4ce3349f11c1536d10e5c0b0e588a0b3153d0eed /scripts/build/p-cmake-linux-ubuntu.inc | |
| parent | 0d747ccf52025ac0d0d9067fbda33fb61a8d9843 (diff) | |
| download | klee-31f92c57dd2627d4f8c7a5a1e280397456af6a72.tar.gz | |
Refactor cmake installation into own component
Diffstat (limited to 'scripts/build/p-cmake-linux-ubuntu.inc')
| -rw-r--r-- | scripts/build/p-cmake-linux-ubuntu.inc | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/scripts/build/p-cmake-linux-ubuntu.inc b/scripts/build/p-cmake-linux-ubuntu.inc new file mode 100644 index 00000000..50a9d168 --- /dev/null +++ b/scripts/build/p-cmake-linux-ubuntu.inc @@ -0,0 +1,51 @@ +install_binary_artifact_cmake() { + source "${DIR}/common-functions" + + # Check if the Ubuntu version is an LTS version - otherwise no cmake version available + if grep -q LTS /etc/os-release; then + if ! grep -qr "apt.kitware.com" /etc/apt; then + with_sudo apt update -y + # Add Kitware's certificate for CMake + dependencies=( + apt-transport-https + ca-certificates + gnupg + lsb-release + software-properties-common + wget + ) + + with_sudo apt -y --no-install-recommends install "${dependencies[@]}" + wget -O - "https://apt.kitware.com/keys/kitware-archive-latest.asc" 2> /dev/null \ + | gpg --dearmor - | with_sudo tee /etc/apt/trusted.gpg.d/kitware.gpg > /dev/null + + # Add CMake repository + codename="$(lsb_release --codename --short)" + with_sudo apt-add-repository -y "deb https://apt.kitware.com/ubuntu/ ${codename} main" + fi + fi + + with_sudo apt update -y + + dependencies=( + cmake + ) + with_sudo apt -y --no-install-recommends install "${dependencies[@]}" +} + +get_build_artifacts_cmake() { + return 0 +} + +# Check if the binary artifact is installed +is_installed_cmake() { + if which cmake ; then + return 0 + fi + + return 1 +} + +setup_artifact_variables_cmake() { + return 0 +} \ No newline at end of file |
