Commit 5e90b714 authored by GILLES Sebastien's avatar GILLES Sebastien

#1501 Properly: Fedora doesn't get apt...

parent e2590212
Pipeline #110760 failed with stage
in 52 seconds
......@@ -4,16 +4,15 @@
# 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}
deploy_fedora_clang_release:
extends: .deploy_docker
before_script:
- dnf install -y docker
variables:
OS: "fedora"
COMPILER: "clang"
......
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