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-gtest-osx.inc | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 scripts/build/p-gtest-osx.inc (limited to 'scripts/build/p-gtest-osx.inc') diff --git a/scripts/build/p-gtest-osx.inc b/scripts/build/p-gtest-osx.inc new file mode 100644 index 00000000..3fe48e06 --- /dev/null +++ b/scripts/build/p-gtest-osx.inc @@ -0,0 +1,5 @@ +install_build_dependencies_gtest() { + # Install essential dependency + # Ignore if already installed + brew install wget || /usr/bin/true +} -- cgit 1.4.1