diff options
author | Alex Ozdemir <aozdemir@hmc.edu> | 2020-11-10 13:00:06 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-10 15:00:06 -0600 |
commit | cef8ceaf4cd81863171363fe54a97921361d1de9 (patch) | |
tree | 51816ab0ed2be84baa10fc830405dabc2c24503d /contrib | |
parent | 032bee9200bf64af0851832c97ce20b87a6f8e0f (diff) |
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)
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/get-lfsc-checker | 2 |
1 files changed, 1 insertions, 1 deletions
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" |