From 2265d20c48dff6e1ea9a5cb9be9640603f3be3cf Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Thu, 18 Oct 2018 14:46:37 +0200
Subject: Add overlays for unicoq and mtac2

---
 dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh

(limited to 'dev')

diff --git a/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh b/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh
new file mode 100644
index 0000000000..c399e27736
--- /dev/null
+++ b/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh
@@ -0,0 +1,10 @@
+_OVERLAY_BRANCH=ho-matching-occ-sel
+
+if [ "$CI_PULL_REQUEST" = "7819" ] || [ "$CI_BRANCH" = "$_OVERLAY_BRANCH" ]; then
+
+    unicoq_CI_REF="PR7819-overlay"
+
+    mtac2_CI_REF="PR7819-overlay"
+    mtac2_CI_GITURL=https://github.com/mattam82/Mtac2
+
+fi
-- 
cgit v1.2.3


From 62cf1ad380772628ed6e547de3fb875275610b4d Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Thu, 18 Oct 2018 16:56:17 +0200
Subject: Add overlay for Equations

---
 dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'dev')

diff --git a/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh b/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh
index c399e27736..e344e869d5 100644
--- a/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh
+++ b/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh
@@ -7,4 +7,6 @@ if [ "$CI_PULL_REQUEST" = "7819" ] || [ "$CI_BRANCH" = "$_OVERLAY_BRANCH" ]; the
     mtac2_CI_REF="PR7819-overlay"
     mtac2_CI_GITURL=https://github.com/mattam82/Mtac2
 
+    Equations_CI_REF="PR7819-overlay"
+
 fi
-- 
cgit v1.2.3


From d9f86f9920efda1057b09d10d64764babe1dec44 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Fri, 8 Feb 2019 16:42:50 +0100
Subject: Update overlay file

---
 dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh b/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh
index e344e869d5..2b4c1489ad 100644
--- a/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh
+++ b/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh
@@ -7,6 +7,7 @@ if [ "$CI_PULL_REQUEST" = "7819" ] || [ "$CI_BRANCH" = "$_OVERLAY_BRANCH" ]; the
     mtac2_CI_REF="PR7819-overlay"
     mtac2_CI_GITURL=https://github.com/mattam82/Mtac2
 
-    Equations_CI_REF="PR7819-overlay"
+    equations_CI_GITURL=https://github.com/mattam82/Coq-Equations
+    equations_CI_REF="PR7819-overlay"
 
 fi
-- 
cgit v1.2.3