From cef8ceaf4cd81863171363fe54a97921361d1de9 Mon Sep 17 00:00:00 2001 From: Alex Ozdemir Date: Tue, 10 Nov 2020 13:00:06 -0800 Subject: [PATCH] Pin LFSC version (#5412) I chose commit 61ef1dc55d2bc909656f905699b28c99ddcfc518, which is missing: any changes to the OSX build process (We're still figuring this out) change to top-level identifier shadowing (we have a few versions of the signatures floating around, and I worry that they may not all be fixed w.r.t. no re-using identifiers) --- 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 0db781b4a..01a49127b 100755 --- a/contrib/get-lfsc-checker +++ b/contrib/get-lfsc-checker @@ -3,7 +3,7 @@ source "$(dirname "$0")/get-script-header.sh" LFSC_DIR="$DEPS_DIR/lfsc-checker" -version="master" +version="61ef1dc55d2bc909656f905699b28c99ddcfc518" setup_dep "https://github.com/CVC4/LFSC/archive/$version.tar.gz" "$LFSC_DIR" cd "$LFSC_DIR" -- 2.30.2