diff --git a/docker/Makefile b/docker/Makefile
new file mode 100644
index 0000000..67d5e32
--- /dev/null
+++ b/docker/Makefile
@@ -0,0 +1,6 @@
+all: ../bfclient/RelOpt/bfclient Dockerfile
+	cp ../bfclient/RelOpt/bfclient .
+	docker login registry.gitlab.com
+	docker build -t registry.gitlab.com/arminfriedl/btcollider .
+	docker push registry.gitlab.com/arminfriedl/btcollider
+