From c1910629e940a15b64e83c7f6bbfdef0d84610d7 Mon Sep 17 00:00:00 2001
From: Matej Sima <matej.sima@gmail.com>
Date: Fri, 24 May 2019 00:13:31 +0200
Subject: [PATCH] Remove Makefile, Add docker build command to the CI config

---
 .gitlab-ci.yml | 4 ++++
 Makefile       | 2 --
 2 files changed, 4 insertions(+), 2 deletions(-)
 delete mode 100644 Makefile

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 366da11c4..31fa34e78 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -57,3 +57,7 @@ remote-repo-job:
     #- opam install -y merlin
     #- opam install -y ocp-indent
     #- opam user-setup install
+
+build-docker-image:
+  script:
+    - docker build -t marigold/ligo ./docker
\ No newline at end of file
diff --git a/Makefile b/Makefile
deleted file mode 100644
index b8952598b..000000000
--- a/Makefile
+++ /dev/null
@@ -1,2 +0,0 @@
-build-image:
-	docker build -t marigold/ligo ./docker
\ No newline at end of file