contrib: Setup all dependencies in deps/ directory. (#3534)

1 files changed, 13 insertions, 11 deletions

diff --git a/contrib/get-abc b/contrib/get-abc
index 5d3f32fb5..d69af9ef8 100755
--- a/contrib/get-abc
+++ b/contrib/get-abc
@@ -2,19 +2,12 @@
 #
 source "$(dirname "$0")/get-script-header.sh"
 
-if [ -e abc ]; then
-  echo 'error: file or directory "abc" exists; please move it out of the way.' >&2
-  exit 1
-fi
-
+ABC_DIR="$DEPS_DIR/abc"
 commit=53f39c11b58d
 
-mkdir abc
-cd abc
-webget https://bitbucket.org/alanmi/abc/get/$commit.tar.gz abc-$commit.tar.gz
-gunzip -f abc-$commit.tar.gz
-tar xfv abc-$commit.tar
-cd alanmi-abc-$commit
+check_dep_dir "$ABC_DIR"
+setup_dep "https://bitbucket.org/alanmi/abc/get/$commit.tar.gz" "$ABC_DIR"
+cd "$ABC_DIR"
 
 # Strip out libSupport.c, it is in charge of loading extensions and we
 # don't want different behavior based on ABC_LIB_PATH, or based on what
@@ -28,8 +21,17 @@ sed 's,\( *\)\(.*Libs_Init(\),\1//\2,;s,\( *\)\(.*Libs_End(\),\1//\2,' src/base/
 # These aren't necessary for our usage and we don't want the dependencies.
 make -j$(nproc) libabc.a OPTFLAGS=-O ABC_USE_NO_READLINE=1 ABC_USE_NO_PTHREADS=1
 mv libabc.a libabc-static.a
+install_lib libabc-static.a
 make clean
+
 make -j$(nproc) libabc.a OPTFLAGS='-O -fPIC' ABC_USE_NO_READLINE=1 ABC_USE_NO_PTHREADS=1
+install_lib libabc.a
+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"
 
 echo
 echo ===================== Now configure CVC4 with =====================