From d098a56ca6a026bde9c17dcaa01d53cf2dc1a2c1 Mon Sep 17 00:00:00 2001
From: Carles Fernandez <carles.fernandez@gmail.com>
Date: Fri, 9 Feb 2018 23:48:17 +0100
Subject: [PATCH] Add Docker image build

---
 .gitlab-ci.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index bf195908a..57d40c9cd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -79,6 +79,20 @@ ubuntu-18.04-build:
     - make -j2
     - make install
 
+docker-gnsssdr:
+  image: docker:latest
+  services:
+    - docker:dind
+  before_script:
+    - docker login -u "$CI_REGISTRY_USER" -p "$CI_REGISTRY_PASSWORD" $CI_REGISTRY
+  script:
+    - mkdir docker-build
+    - cd docker-build
+    - git clone https://github.com/carlesfernandez/docker-gnsssdr
+    - cd docker-gnsssdr
+    - docker build -t --pull carlesfernandez/docker-gnsssdr .
+    - docker push "$CI_REGISTRY_IMAGE"
+
 
 # Stage "test"
 run-test: