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/Dockerfile_base | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 scripts/build/Dockerfile_base (limited to 'scripts/build/Dockerfile_base') diff --git a/scripts/build/Dockerfile_base b/scripts/build/Dockerfile_base deleted file mode 100644 index 8daee330..00000000 --- a/scripts/build/Dockerfile_base +++ /dev/null @@ -1,15 +0,0 @@ -# Build dependencies for LLVM -FROM ubuntu:16.04 -LABEL maintainer="Martin Nowack " - -ENV DOCKER_BUILD=1 - -# Define all variables that can be changed as argument to docker build -ARG BASE=/tmp - -# Copy across all source files -ADD /scripts/build/* scripts/build/ - -# Install packages -RUN scripts/build/dependencies-ubuntu.sh && rm -rf /var/lib/apt/lists/* -WORKDIR $BASE -- cgit 1.4.1