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/p-uclibc-linux-ubuntu-16.04.inc | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 scripts/build/p-uclibc-linux-ubuntu-16.04.inc (limited to 'scripts/build/p-uclibc-linux-ubuntu-16.04.inc') diff --git a/scripts/build/p-uclibc-linux-ubuntu-16.04.inc b/scripts/build/p-uclibc-linux-ubuntu-16.04.inc new file mode 100644 index 00000000..36bdce58 --- /dev/null +++ b/scripts/build/p-uclibc-linux-ubuntu-16.04.inc @@ -0,0 +1,17 @@ +#!/bin/bash +# Build dependencies +install_build_dependencies_uclibc() { + apt update -y + + dependencies=( + build-essential + ca-certificates + git + python + libncurses5-dev + wget + ) + + #Install essential dependencies + apt -y --no-install-recommends install "${dependencies[@]}" +} \ No newline at end of file -- cgit 1.4.1