contrib/get-lfsc-checker

   1 #!/bin/bash
   2 #
   3 source "$(dirname "$0")/get-script-header.sh"
   4
   5 lfscrepo="https://github.com/CVC4/LFSC.git"
   6 dirname="lfsc-checker"
   7
   8 function gitclone {
   9   if which git &> /dev/null
  10   then
  11     git clone "$1" "$2"
  12   else
  13     echo "Need git to clone LFSC checker. Please install git." >&2
  14     exit 1
  15   fi
  16 }
  17
  18 if [ -e lfsc-checker ]; then
  19   echo 'error: file or directory "lfsc-checker" already exists!' >&2
  20   exit 1
  21 fi
  22
  23 mkdir $dirname
  24 cd $dirname
  25
  26 LFSC_PATH=`pwd`
  27
  28 gitclone $lfscrepo .
  29 mkdir install
  30 mkdir build
  31 cd build
  32 cmake -DCMAKE_INSTALL_PREFIX:PATH=$LFSC_PATH/install ..
  33 make install
  34 cd ..
  35
  36 echo
  37 echo ===================== Now configure CVC4 with =====================
  38 echo ./configure --with-lfsc