From fbcfe56df3d353740b1a64f438512f06f9190ea9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@nomadic-labs.com>
Date: Sat, 7 Sep 2019 14:25:32 +0200
Subject: [PATCH] CI docker WIP

---
 .gitlab-ci.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ae52936a1..c86aed054 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -24,8 +24,10 @@ stages:
     - opam install -y odoc
     # - vendors/opam-repository-tools/rewrite-local-opam-repository.sh
     # - opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository-local-generated/"
-    - opam install -y --build-test --deps-only ./src/
-    - dune build -p ligo
+    - scripts/install_vendors_deps.sh
+    - scripts/build_ligo_local.sh
+    # - opam install -y --build-test --deps-only ./src/
+    # - dune build -p ligo
     # TODO: also try instead from time to time:
     #- (cd ./src/; dune build -p ligo)