From 7961761f13f8f9167650df22bd307b5ae087c134 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 8 Jan 2019 14:34:20 -0500
Subject: [ci] Update fiat-crypto legacy

Once https://github.com/mit-plv/fiat-crypto/pull/477 is merged, the
master branch will no longer contain the files nor the targets for
fiat-crypto legacy.  (We should perhaps consider moving fiat-crypto
legacy to coq-community as a source of vm and printing tests.)
---
 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 e74a7853b9..6944324729 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -149,6 +149,13 @@
 : "${fiat_crypto_CI_GITURL:=https://github.com/mit-plv/fiat-crypto}"
 : "${fiat_crypto_CI_ARCHIVEURL:=${fiat_crypto_CI_GITURL}/archive}"
 
+########################################################################
+# fiat_crypto_legacy
+########################################################################
+: "${fiat_crypto_legacy_CI_REF:=sp2019latest}"
+: "${fiat_crypto_legacy_CI_GITURL:=https://github.com/mit-plv/fiat-crypto}"
+: "${fiat_crypto_legacy_CI_ARCHIVEURL:=${fiat_crypto_legacy_CI_GITURL}/archive}"
+
 ########################################################################
 # coq_dpdgraph
 ########################################################################
-- 
cgit v1.2.3