projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 70b5c27)
Update LFSC version (#8713)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 3 May 2022 20:35:27 +0000 (13:35 -0700)
committerGitHub <noreply@github.com>
Tue, 3 May 2022 20:35:27 +0000 (20:35 +0000)
This updates the get-lfsc-checker script to get the latest version of
LFSC, which supports older versions of CMake.

contrib/get-lfsc-checker patch | blob | history

diff --git a/contrib/get-lfsc-checker b/contrib/get-lfsc-checker
index c46b13edaca6a9fa172c96fa8870257dadc6d109..8da65a8c6712c6bc440025661e28904e4d376ea2 100755 (executable)
--- 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