diff --git a/docker/Dockerfile.template b/docker/Dockerfile.template index 858873c3d4de25a1fe825b86e1de50c753ace3e0..41a08fb22ed65c0566a6e73c3f6ce1cd46b8c6b0 100644 --- a/docker/Dockerfile.template +++ b/docker/Dockerfile.template @@ -21,9 +21,9 @@ ########################################################################## # Dockerfile for easy install and use of CAISAR. -#FROM ocaml/opam@sha256:9d471148a7acdaba15caa139710f89ca8668a191c0052eb1c80cb9729e337c40 +FROM ocaml/opam@sha256:9d471148a7acdaba15caa139710f89ca8668a191c0052eb1c80cb9729e337c40 -FROM @UBUNTU_OPAM_BASE@ +#FROM @UBUNTU_OPAM_BASE@ RUN opam-2.1 repository set-url default https://opam.ocaml.org && \ opam-2.1 update -y diff --git a/docker/Makefile b/docker/Makefile index c6fc41e3f1fa63f58cc4d1c862ab7d60419265ff..e08c13dc52135c87bb4ccd85372d50aa068fa106 100644 --- a/docker/Makefile +++ b/docker/Makefile @@ -33,15 +33,14 @@ push: all @echo "You may need to execute 'docker login' beforehand." docker push laiser/caisar:pub -SHA_DOCKER=$(shell docker manifest inspect ocaml/opam:ubuntu-ocaml-$(OCAML_VERSION) | jq '.manifests| .[] | select(.platform.architecture == "amd64") | .digest' --raw-output) +SHA_DOCKER=$(shell docker manifest inspect ocaml/opam:ubuntu-ocaml-$(OCAML_VERSION) | jq '.manifests| .[] | select(.platform.architecture == "amd64") | .digest' --raw-output) CAISAR_COMMIT?=$(shell git rev-parse HEAD) Dockerfile: Makefile Dockerfile.template env.template FORCE - sed 's|@UBUNTU_OPAM_BASE@|ocaml/opam@$(SHA_DOCKER)|g' Dockerfile.template | \ + cat Dockerfile.template | \ sed 's|@ENV@|$(shell cat env.template)|g' | \ sed 's|@OPAM_DEPS@|conf-protoc conf-gmp conf-autoconf conf-pkg-config|' | \ sed 's|@OCAMLV@|'$(OCAML_VERSION)'|g' | \ sed 's|@CAISAR_COMMIT@|'$(CAISAR_COMMIT)'|g' | \ -sed 's|@CAISAR_COMMIT@|'$(CAISAR_COMMIT)'|g' | \ cat > $@