From cd21210dd88732196d97f5b7436946c6b39bbdf3 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 19 Apr 2017 01:06:47 +0200
Subject: [travis] mathcomp and fiat overlay for #402

---
 dev/ci/ci-user-overlay.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'dev/ci')

diff --git a/dev/ci/ci-user-overlay.sh b/dev/ci/ci-user-overlay.sh
index bb193ebb55..95e47eb988 100644
--- a/dev/ci/ci-user-overlay.sh
+++ b/dev/ci/ci-user-overlay.sh
@@ -25,6 +25,14 @@ echo $TRAVIS_PULL_REQUEST
 echo $TRAVIS_BRANCH
 echo $TRAVIS_COMMIT
 
+if [ $TRAVIS_PULL_REQUEST == "402" ] || [ $TRAVIS_BRANCH == "located_switch" ]; then
+    mathcomp_CI_BRANCH=located_switch
+    mathcomp_CI_GITURL=https://github.com/ejgallego/math-comp.git
+
+    fiat_parsers_CI_BRANCH=located_switch
+    fiat_parsers_CI_GITURL=https://github.com/ejgallego/fiat.git
+fi
+
 if [ $TRAVIS_PULL_REQUEST == "461" ] || [ $TRAVIS_BRANCH == "stm+remove_compat_parsing" ]; then
     mathcomp_CI_BRANCH=no_camlp4_compat
     mathcomp_CI_GITURL=https://github.com/ejgallego/math-comp.git
-- 
cgit v1.2.3


From 94e783390ef9ad9d26a54add2287e0a3e58d1b70 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 24 May 2017 23:05:21 +0200
Subject: [location] [travis] Add overlays for located_switch

---
 dev/ci/ci-user-overlay.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'dev/ci')

diff --git a/dev/ci/ci-user-overlay.sh b/dev/ci/ci-user-overlay.sh
index 4ad5123170..28808a5814 100644
--- a/dev/ci/ci-user-overlay.sh
+++ b/dev/ci/ci-user-overlay.sh
@@ -26,9 +26,17 @@ echo $TRAVIS_BRANCH
 echo $TRAVIS_COMMIT
 
 if [ $TRAVIS_PULL_REQUEST == "402" ] || [ $TRAVIS_BRANCH == "located_switch" ]; then
+
     mathcomp_CI_BRANCH=located_switch
     mathcomp_CI_GITURL=https://github.com/ejgallego/math-comp.git
 
     fiat_parsers_CI_BRANCH=located_switch
     fiat_parsers_CI_GITURL=https://github.com/ejgallego/fiat.git
+
+    bedrock_src_CI_BRANCH=located_switch
+    bedrock_src_CI_GITURL=https://github.com/ejgallego/bedrock.git
+
+    bedrock_facade_CI_BRANCH=located_switch
+    bedrock_facade_CI_GITURL=https://github.com/ejgallego/bedrock.git
+
 fi
-- 
cgit v1.2.3