From dbda156217c532a7e1a65e8c216e593a64c0b8fc Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 23 Jan 2020 15:25:45 +0000
Subject: Update ubuntu build dependencies for KLEE

Build dependencies for different components were tied to a specific Ubuntu version (16.04).
Although, they are the same for newer versions as well.

By renaming `p-component-linux-ubuntu-16.04.inc` to `p-component-linux-ubuntu.inc`, the script can be used for newer Ubuntu versions as well.

Do some minor cleaning up.
---
 scripts/build/p-llvm-linux-ubuntu-18.04.inc | 49 -----------------------------
 1 file changed, 49 deletions(-)
 delete mode 100644 scripts/build/p-llvm-linux-ubuntu-18.04.inc

(limited to 'scripts/build/p-llvm-linux-ubuntu-18.04.inc')

diff --git a/scripts/build/p-llvm-linux-ubuntu-18.04.inc b/scripts/build/p-llvm-linux-ubuntu-18.04.inc
deleted file mode 100644
index f83112db..00000000
--- a/scripts/build/p-llvm-linux-ubuntu-18.04.inc
+++ /dev/null
@@ -1,49 +0,0 @@
-install_build_dependencies_llvm() { 
-	apt update -y
-
-	dependencies=(
-		build-essential
-
-		autoconf
-		automake
-		groff
-		gcc
-		g++
-		python-dev
-		make
-		subversion # Check out code
-		zlib1g-dev
-	)
-
-	#Install essential dependencies
-	apt -y --no-install-recommends install "${dependencies[@]}"
-}
-
-install_binary_artifact_llvm() {
-  apt update -y
-  
-  dependencies=(
-    "clang-${LLVM_VERSION}"
-  )
-
-  #Install essential dependencies
-  apt -y --no-install-recommends install "${dependencies[@]}"
-}
-
-# Check if the binary artifact is installed
-is_installed_llvm() {
-	local lc=""
-	# Check if llvm-config with the right version exists	
-	lc=$(which "llvm-config-${LLVM_VERSION}")
-	
-	local rtti
-	rtti="$(${lc} --has-rtti)"
-	local assertion
-	assertion="$(${lc} --assertion-mode)"
-	local build_mode
-	build_mode="$(${lc} --build-mode)"
-	
-	# Check requested mode with mode of the found item	
-	[[ $(to_bool "${REQUIRES_RTTI}") -eq $(to_bool "${rtti}") ]] || return 1
-	[[ $(to_bool "${DISABLE_ASSERTIONS}") -ne $(to_bool "${assertion}") ]] || return 1
-}
\ No newline at end of file
-- 
cgit 1.4.1