2017-01-22 04:59:18 +04:00
|
|
|
#! /bin/sh
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
2017-04-12 14:55:01 +04:00
|
|
|
script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")"
|
2017-01-22 04:59:18 +04:00
|
|
|
src_dir="$(dirname "$script_dir")"
|
|
|
|
cd "$src_dir"
|
|
|
|
|
|
|
|
. scripts/version.sh
|
|
|
|
image_name="${1:-tezos}"
|
|
|
|
image_version="${2:-latest}"
|
2017-08-04 20:32:52 +04:00
|
|
|
build_image_name="${image_name}_build"
|
|
|
|
build_deps_image_name="${image_name}_build_deps"
|
2017-01-22 04:59:18 +04:00
|
|
|
|
2017-08-04 20:32:52 +04:00
|
|
|
./scripts/create_docker_image.build_deps.sh \
|
2017-01-22 04:59:18 +04:00
|
|
|
"$build_deps_image_name" "$image_version"
|
|
|
|
|
2017-08-04 20:32:52 +04:00
|
|
|
./scripts/create_docker_image.build.sh \
|
|
|
|
"$build_image_name" "$image_version" "$build_deps_image_name"
|
2017-01-22 04:59:18 +04:00
|
|
|
|
2017-08-04 20:32:52 +04:00
|
|
|
./scripts/create_docker_image.minimal.sh \
|
|
|
|
"$image_name" "$image_version" "$build_image_name"
|