Revision 58ad60f38a4c4f9c084f03d04e57eef497648abd authored by Vincent Bernardoff on 29 December 2017, 14:29:29 UTC, committed by Benjamin Canou on 02 January 2018, 15:44:08 UTC
1 parent 0ce7c79
Raw File
create_docker_image.sh
#! /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="${image_name}_build"
build_deps_image_name="${image_name}_build_deps"

./scripts/create_docker_image.build_deps.sh \
    "$build_deps_image_name" "$image_version"

./scripts/create_docker_image.build.sh \
    "$build_image_name" "$image_version" "$build_deps_image_name"

./scripts/create_docker_image.minimal.sh \
    "$image_name" "$image_version" "$build_image_name"
back to top