Change the unavailable ABC mercury repository for the ABC solver code base on GitHub...

Signed-off-by: Malte Mues (mail.mues@gmail.com)

diff --git a/contrib/get-abc b/contrib/get-abc
index d69af9ef8d20e275a4207fdda9894b15cfefdd5d..108720066e8a3ffa52017f4039240bf6a3fdd95e 100755 (executable)
--- 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 =====================