From 06ce7afd3eb444c66d446e136c600f184034d9a4 Mon Sep 17 00:00:00 2001 From: pedro Date: Tue, 23 Jan 2024 09:00:27 +0100 Subject: [PATCH] pangea p: add manual build of orchestra & musician --- Makefile | 6 ++++++ build__pilot-pangea.sh | 4 ++++ 2 files changed, 10 insertions(+) diff --git a/Makefile b/Makefile index 1595c15..c968241 100644 --- a/Makefile +++ b/Makefile @@ -47,6 +47,12 @@ idhub_image := ${project}/idhub:${idhub_tag} .PHONY: idhub_build idhub_build: docker build -f docker/idhub.Dockerfile -t ${idhub_image} -t ${project}/idhub:${idhub_branch}__latest . +.PHONY: orchestra_build +orchestra_build: + docker build -f docker/orchestra.Dockerfile -t ${orchestra_image} -t ${project}/orchestra:latest . +.PHONY: musician_build +musician_build: + docker build -f docker/musician.Dockerfile -t ${musician_image} -t ${project}/musician:latest . docker_build: docker build -f docker/orchestra.Dockerfile -t ${orchestra_image} -t ${project}/orchestra:latest . diff --git a/build__pilot-pangea.sh b/build__pilot-pangea.sh index dba6a33..0936ac0 100755 --- a/build__pilot-pangea.sh +++ b/build__pilot-pangea.sh @@ -25,6 +25,10 @@ main() { rm -f "${idhub2}/db.sqlite3" fi + # common_end builds idhub + # these are extra builds specific for this pilot + make musician_build + make orchestra_build common_end }