From 2bdea3e8fd018e18f22686efdfa8deeb64e9e8e2 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 14 May 2020 01:55:55 +0200
Subject: [ci] [sf] Fix SF build.

We move from the previous complex CI download setup to a much more
straightforward public mirror repository.

Thanks to Yishuai Li and Benjamin Pierce for the very quick response.

Closes #12290
---
 dev/ci/ci-basic-overlay.sh | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'dev/ci/ci-basic-overlay.sh')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index b87a9c0392..5f7d0b5789 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -351,3 +351,10 @@
 : "${metacoq_CI_REF:=master}"
 : "${metacoq_CI_GITURL:=https://github.com/MetaCoq/metacoq}"
 : "${metacoq_CI_ARCHIVEURL:=${metacoq_CI_GITURL}/archive}"
+
+########################################################################
+# SF suite
+########################################################################
+: "${sf_CI_REF:=master}"
+: "${sf_CI_GITURL:=https://github.com/DeepSpec/sf}"
+: "${sf_CI_ARCHIVEURL:=${sf_CI_GITURL}/archive}"
-- 
cgit v1.2.3