diff options
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/get-symfpu | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/contrib/get-symfpu b/contrib/get-symfpu deleted file mode 100755 index 383a620d9..000000000 --- a/contrib/get-symfpu +++ /dev/null @@ -1,18 +0,0 @@ -#!/usr/bin/env bash -# -source "$(dirname "$0")/get-script-header.sh" - -SYMFPU_DIR="$DEPS_DIR/symfpu-CVC4" -commit="8fbe139bf0071cbe0758d2f6690a546c69ff0053" - -setup_dep \ - "https://github.com/martin-cs/symfpu/archive/$commit.tar.gz" "$SYMFPU_DIR" -cd "$SYMFPU_DIR" -install_includes core symfpu -install_includes utils symfpu - -echo -echo "Using symfpu commit $commit" -echo -echo ===================== Now configure CVC4 with ===================== -echo ./configure.sh --symfpu |