From cf930214e12b49e89be4674043d9f461d667baae Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Thu, 28 Feb 2019 11:56:19 +0000 Subject: Updated dependency build system for KLEE Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies. --- scripts/build/dependencies-ubuntu.sh | 43 ------------------------------------ 1 file changed, 43 deletions(-) delete mode 100755 scripts/build/dependencies-ubuntu.sh (limited to 'scripts/build/dependencies-ubuntu.sh') diff --git a/scripts/build/dependencies-ubuntu.sh b/scripts/build/dependencies-ubuntu.sh deleted file mode 100755 index d5d4a36a..00000000 --- a/scripts/build/dependencies-ubuntu.sh +++ /dev/null @@ -1,43 +0,0 @@ -#!/bin/bash -# Installs ubuntu dependencies -set -e - -# Update packages -apt update - -# Install essential build tools -apt -y --no-install-recommends install build-essential software-properties-common wget - -# Add repository for additional compilers -add-apt-repository ppa:ubuntu-toolchain-r/test -y -add-apt-repository "deb http://apt.llvm.org/xenial/ llvm-toolchain-xenial main" -wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key| apt-key add - -apt update -y - -#Install essential dependencies -apt -y --no-install-recommends install \ - binutils \ - bison \ - cmake \ - curl \ - flex \ - git \ - groff-base \ - libboost-program-options-dev \ - libncurses-dev \ - ninja-build \ - patch \ - perl \ - python \ - python3-dev \ - python3-pip \ - python3-setuptools \ - subversion \ - sudo \ - unzip \ - wget \ - zlib1g-dev -apt clean - -# Install lit for testing -pip3 install wheel && pip3 install lit==0.6.0 -- cgit 1.4.1