scripts: checkout libff v0.2.1 directly on first clone (#771)

pull/816/head
Emilio López 2 years ago committed by GitHub
parent 972086593b
commit f43efe09bd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 4
      .github/scripts/install-libff.sh

@ -12,11 +12,11 @@ fi
if [ -d libff ]; then
echo "$(pwd)/libff" already exists! Using it instead of re-cloning the repo.
else
git clone https://github.com/scipr-lab/libff --recursive
git clone https://github.com/scipr-lab/libff -b v0.2.1 --recursive
fi
cd libff
git submodule init && git submodule update
git checkout v0.2.1
git submodule init && git submodule update
ARGS="-DCMAKE_INSTALL_PREFIX=$PREFIX -DWITH_PROCPS=OFF"
CXXFLAGS=""

Loading…
Cancel
Save