sh does not recognize set -euET -o pipefail, only a subset of those options. Use bash for now.

This commit is contained in:
Georges Dupéron 2019-05-27 22:05:05 +02:00
parent 17b413faee
commit fae35a1f42

View File

@ -17,15 +17,15 @@ ADD . /ligo
WORKDIR /ligo WORKDIR /ligo
# Setup a custom opam repository where ligo is published # Setup a custom opam repository where ligo is published
RUN sh scripts/setup_ligo_opam_repository.sh RUN bash scripts/setup_ligo_opam_repository.sh
# Install required native dependencies # Install required native dependencies
RUN sh scripts/install_native_dependencies.sh RUN bash scripts/install_native_dependencies.sh
RUN opam update RUN opam update
# Install ligo # Install ligo
RUN sh scripts/install_ligo_with_dependencies.sh RUN bash scripts/install_ligo_with_dependencies.sh
# Use the ligo binary as a default command # Use the ligo binary as a default command
ENTRYPOINT [ "/home/opam/.opam/4.06/bin/ligo" ] ENTRYPOINT [ "/home/opam/.opam/4.06/bin/ligo" ]