Eliminate equality query dependence on quantifiers engine (#5831)

[cvc5.git] / contrib / get-lfsc-checker

diff --git a/contrib/get-lfsc-checker b/contrib/get-lfsc-checker
index 2fc191707aed0caaefdd4ab730d36f010dc315a0..01a49127b6da814f5515ac819e43af3e0f361432 100755 (executable)
--- a/contrib/get-lfsc-checker
+++ b/contrib/get-lfsc-checker
@@ -1,37 +1,17 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 source "$(dirname "$0")/get-script-header.sh"
 
-lfscrepo="https://github.com/CVC4/LFSC.git"
-dirname="lfsc-checker"
+LFSC_DIR="$DEPS_DIR/lfsc-checker"
+version="61ef1dc55d2bc909656f905699b28c99ddcfc518"
 
-function gitclone {
-  if which git &> /dev/null
-  then
-    git clone "$1" "$2"
-  else
-    echo "Need git to clone LFSC checker. Please install git." >&2
-    exit 1
-  fi
-}
+setup_dep "https://github.com/CVC4/LFSC/archive/$version.tar.gz" "$LFSC_DIR"
+cd "$LFSC_DIR"
 
-if [ -e lfsc-checker ]; then
-  echo 'error: file or directory "lfsc-checker" already exists!' >&2
-  exit 1
-fi
-
-mkdir $dirname
-cd $dirname
-
-LFSC_PATH=`pwd`
-
-gitclone $lfscrepo .
-mkdir install
 mkdir build
 cd build
-cmake -DCMAKE_INSTALL_PREFIX:PATH=$LFSC_PATH/install ..
-make install
-cd ..
+cmake -DCMAKE_INSTALL_PREFIX="$INSTALL_DIR" ..
+make install -j$(nproc)
 
 echo
 echo ===================== Now configure CVC4 with =====================