From e705ed6752b71764a5e0db7c2818191c280dd11a Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Tue, 3 May 2022 13:35:27 -0700 Subject: [PATCH] Update LFSC version (#8713) This updates the get-lfsc-checker script to get the latest version of LFSC, which supports older versions of CMake. --- contrib/get-lfsc-checker | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/get-lfsc-checker b/contrib/get-lfsc-checker index c46b13eda..8da65a8c6 100755 --- a/contrib/get-lfsc-checker +++ b/contrib/get-lfsc-checker @@ -24,7 +24,7 @@ LFSC_DIR="$BASE_DIR/lfsc-checker" mkdir -p $LFSC_DIR # download and unpack LFSC -version="80b6a1b67f819b58f3e80c029a5e22f42d2ab32f" +version="5f44ffb1241ca81dbb3118807546ba14ab9ea7a5" download "https://github.com/cvc5/LFSC/archive/$version.tar.gz" $BASE_DIR/tmp/lfsc.tgz tar --strip 1 -xzf $BASE_DIR/tmp/lfsc.tgz -C $LFSC_DIR -- 2.30.2