Commit e2590212 authored by GILLES Sebastien's avatar GILLES Sebastien

#1501 Add Docker installation in pre-script.

parent 20acae32
Pipeline #110759 failed with stage
in 22 seconds
......@@ -4,6 +4,8 @@
# only:
# - master
image: registry.gitlab.inria.fr/morefem/thirdpartycompilationfactory/${OS}-${COMPILER}-${MODE}
before_script:
- apt-get install docker
script:
- DOCKER_BUILDKIT=1 docker build -t registry.gitlab.inria.fr/morefem/corelibrary/morefem/${OS}-${COMPILER}-${MODE} --progress=plain -f Docker/Dockerfile --build-arg os=${OS} --build-arg mode=${MODE} --build-arg compiler=${COMPILER} --build-arg is_single_library=False --build-arg library_type=shared .
- docker push registry.gitlab.inria.fr/morefem/corelibrary/morefem/${OS}-${COMPILER}-${MODE}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment