diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-12-06 06:48:04 -0800 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-06 08:48:04 -0600 |
| commit | 008d6b51baec353f45324e1d9407d898866cf688 (patch) | |
| tree | 136e5c1dcbfb32f1fed99b853b79c2f7ecc6b5d2 /contrib/get-lfsc-checker | |
| parent | 46bae5d2a8b22867f917c6f644e46e29884049f9 (diff) | |
contrib: Setup all dependencies in deps/ directory. (#3534)
Diffstat (limited to 'contrib/get-lfsc-checker')
| -rwxr-xr-x | contrib/get-lfsc-checker | 33 |
1 files changed, 7 insertions, 26 deletions
diff --git a/contrib/get-lfsc-checker b/contrib/get-lfsc-checker index 953d05d18..e7bee86c0 100755 --- a/contrib/get-lfsc-checker +++ b/contrib/get-lfsc-checker @@ -2,36 +2,17 @@ # source "$(dirname "$0")/get-script-header.sh" -lfscrepo="https://github.com/CVC4/LFSC.git" -dirname="lfsc-checker" +LFSC_DIR="$DEPS_DIR/lfsc-checker" +version="master" -function gitclone { - if [ -x "$(command -v git)" ] - then - git clone "$1" "$2" - else - echo "Need git to clone LFSC checker. Please install git." >&2 - exit 1 - fi -} +check_dep_dir "$LFSC_DIR" +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 ===================== |