ligo/scripts/create_docker_image.minimal.sh
Grégoire Henry eed9e7581d Update CI
2017-08-04 18:32:52 +02:00

40 lines
968 B
Bash
Executable File

#! /bin/sh
set -e
script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")"
src_dir="$(dirname "$script_dir")"
cd "$src_dir"
. scripts/version.sh
image_name="${1:-tezos}"
image_version="${2:-latest}"
build_image_name="${3:-${image_name}_build:${image_version}}"
cleanup () {
set +e
echo Cleaning up...
[ -z "$tmp_container" ] || docker rm -f "$tmp_container"
rm -rf Dockerfile bin
}
trap cleanup EXIT INT
tmp_container="$(docker run -dit "$build_image_name" /bin/sh -c "mkdir /home/opam/bin && cp /home/opam/tezos/tezos-* /home/opam/bin")"
ret=$(docker wait "$tmp_container")
if [ "$ret" -ne 0 ]; then exit $ret; fi
docker cp "$tmp_container":/home/opam/bin/ bin
echo
echo "### Building minimal docker image..."
echo
sed scripts/Dockerfile.minimal.in \
-e 's|$alpine_version|'"$alpine_version"'|g' > Dockerfile
docker build -t "$image_name:$image_version" .
echo
echo "### Succesfully build docker image: $image_name:$image_version"
echo