diff options
author | Malte Mues <mmuesly@users.noreply.github.com> | 2020-09-04 12:35:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-04 12:35:24 +0200 |
commit | bfb744af4f932f095640d97be8f0bfa9ff60e981 (patch) | |
tree | 879b6fbc20df1fde8a9add44a0690e38bab2c392 /contrib | |
parent | c9e23f66383a4d490aca6d082d40117fe799ee4b (diff) |
Change the unavailable ABC mercury repository for the ABC solver code base on GitHub (#4989)
Signed-off-by: Malte Mues (mail.mues@gmail.com)
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/get-abc | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/contrib/get-abc b/contrib/get-abc index d69af9ef8..108720066 100755 --- a/contrib/get-abc +++ b/contrib/get-abc @@ -3,10 +3,10 @@ source "$(dirname "$0")/get-script-header.sh" ABC_DIR="$DEPS_DIR/abc" -commit=53f39c11b58d +commit=3d7034bf619aada30b0ba1e8afcb151d304ab556 check_dep_dir "$ABC_DIR" -setup_dep "https://bitbucket.org/alanmi/abc/get/$commit.tar.gz" "$ABC_DIR" +setup_dep "https://github.com/berkeley-abc/abc/archive/$commit.tar.gz" "$ABC_DIR" cd "$ABC_DIR" # Strip out libSupport.c, it is in charge of loading extensions and we @@ -31,7 +31,12 @@ install_bin arch_flags # Copy headers and preserve subdirectories cd src mkdir -p "$INSTALL_INCLUDE_DIR/abc" -cp --parents $(find . -name '*.h') "$INSTALL_INCLUDE_DIR/abc" + +if [[ "$OSTYPE" == "darwin"* ]]; then + rsync -R -r $(find . -name '*.h') "$INSTALL_INCLUDE_DIR/abc" +else + cp --parents $(find . -name '*.h') "$INSTALL_INCLUDE_DIR/abc" +fi echo echo ===================== Now configure CVC4 with ===================== |