From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Tue, 10 Nov 2020 21:00:06 +0000 (-0800)
Subject: Pin LFSC version (#5412)
X-Git-Tag: cvc5-1.0.0~2619
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cef8ceaf4cd81863171363fe54a97921361d1de9;p=cvc5.git

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)
---

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"