diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-31 21:16:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-31 19:16:05 +0000 |
commit | b7210ed60d517aebb25c23a2f407ee59562587dd (patch) | |
tree | 082a225b399f5db85d3cda3dfe0c410090244433 /contrib | |
parent | a779d33c559e5e494e71ca1a0c744d0275b31b5c (diff) |
Refactor SymFPU dependency (#6218)
This PR refactors the contrib script to download SymFPU to a cmake external project.
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 |