diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-03-23 18:57:57 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-23 21:51:17 +0000 |
| commit | 721b2fc39451ecfc4cb84ec32138011f160913f8 (patch) | |
| tree | 773247b4bf07964c158e0e58658d5a0117dd56f6 /scripts/build | |
| parent | c9ce3b462de2372828e65b27acddfe3971813b3c (diff) | |
| download | klee-721b2fc39451ecfc4cb84ec32138011f160913f8.tar.gz | |
Fix detection and installation of Ubuntu-provided llvm/clang packages
Diffstat (limited to 'scripts/build')
| -rw-r--r-- | scripts/build/p-llvm-linux-ubuntu.inc | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/scripts/build/p-llvm-linux-ubuntu.inc b/scripts/build/p-llvm-linux-ubuntu.inc index 1af095f9..440afbd4 100644 --- a/scripts/build/p-llvm-linux-ubuntu.inc +++ b/scripts/build/p-llvm-linux-ubuntu.inc @@ -56,7 +56,7 @@ install_binary_artifact_llvm() { # Check if package in standard repository otherwise use upstream with_sudo apt-get update -y - if ! apt-cache show "llvm${version}"; then + if ! apt-cache show "llvm-${version}"; then if [[ -z "$(which wget)" ]]; then # Add certificate with_sudo apt-get update -y @@ -82,10 +82,10 @@ install_binary_artifact_llvm() { fi dependencies=( - "llvm${version}" - "llvm${version}-dev" - "llvm${version}-runtime" - "clang${version}" + "llvm-${version}" + "llvm-${version}-dev" + "llvm-${version}-runtime" + "clang-${version}" ) #Install essential dependencies |