Temporarily ignore Yices TLS certificate expiration

GaloisInc · Jan 12, 2022 · 2605280 · 2605280
1 parent 5a472ca
commit 2605280
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/scripts/install.sh b/scripts/install.sh
@@ -40,7 +40,9 @@ fi
 if [ ! -f bin/yices ]
 then
     mkdir -p deps/yices
-    wget $YICES_URL -O deps/yices.tar.gz
+    # As of 1/12/22 the Yices TLS certificate is expired and SRI has yet to
+    # replace it.  Temporarilly skip certificate validation.
+    wget $YICES_URL -O deps/yices.tar.gz --no-check-certificate
     tar -x -f deps/yices.tar.gz --one-top-level=deps/yices
     cp deps/yices/*/bin/yices bin/yices
     cp deps/yices/*/bin/yices-smt2 bin/yices-smt2