Add docker container creation to CI.

.gitlab-ci.yml

@@ -38,16 +38,22 @@ test_prrt_mem:
     - valgrind --tool=memcheck --track-origins=yes --leak-check=full --error-exitcode=1 ./bin/sender 100 || prrtResult=$?; kill -INT $prrtReceiverProcessID; wait $prrtReceiverProcessID || prrtResult=$?
     - exit $prrtResult
 
-#performanceEvaluation:
-#  script:
-#    - python3 setup.py build_ext --inplace
-#    - make perftest
-
 test_prrt_functional:
   stage: test
   script:
     - ./bin/prrtTests
 
+build_container:
+    stage: deploy
+    tags:
+        - docker
+    script:
+        - export DOCKER_TAG=$(echo "$CI_BUILD_REF_NAME" | sed 's#/#_#' | sed 's#^master$#latest#')
+        - docker build -t $CI_REGISTRY_IMAGE:$DOCKER_TAG --build-arg http_proxy=http://www-proxy.uni-saarland.de:3128 .
+        - docker login -u gitlab-ci-token -p $CI_BUILD_TOKEN $CI_REGISTRY
+        - docker push $CI_REGISTRY_IMAGE:$DOCKER_TAG
+        - docker rmi $CI_REGISTRY_IMAGE:$DOCKER_TAG
+
 package_pypi:
   stage: deploy
   tags: