diff options
author | Kristóf Marussy <kristof@marussy.com> | 2024-06-23 16:55:02 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2024-06-23 16:55:02 +0200 |
commit | 2befbbc320750fe7bcfc72cbf4b162a1c07ab3a7 (patch) | |
tree | 9e634a2acd0031ccb7316a434f59874c1c897a8f | |
parent | chore(deps): extract tools.refinery.z3 (diff) | |
download | refinery-2befbbc320750fe7bcfc72cbf4b162a1c07ab3a7.tar.gz refinery-2befbbc320750fe7bcfc72cbf4b162a1c07ab3a7.tar.zst refinery-2befbbc320750fe7bcfc72cbf4b162a1c07ab3a7.zip |
build: separate refinery-cli Docker image
-rw-r--r-- | docker/docker-bake.hcl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/docker/docker-bake.hcl b/docker/docker-bake.hcl index b02c82d1..0a84e0a3 100644 --- a/docker/docker-bake.hcl +++ b/docker/docker-bake.hcl | |||
@@ -6,6 +6,10 @@ variable "REFINERY_VERSION" { | |||
6 | default = "" | 6 | default = "" |
7 | } | 7 | } |
8 | 8 | ||
9 | variable "REFINERY_ANNOTATIONS" { | ||
10 | default = "" | ||
11 | } | ||
12 | |||
9 | group "default" { | 13 | group "default" { |
10 | targets = ["cli", "web"] | 14 | targets = ["cli", "web"] |
11 | } | 15 | } |
@@ -20,7 +24,7 @@ target "cli" { | |||
20 | dockerfile = "Dockerfile.cli" | 24 | dockerfile = "Dockerfile.cli" |
21 | platforms = ["linux/amd64", "linux/arm64"] | 25 | platforms = ["linux/amd64", "linux/arm64"] |
22 | output = [ | 26 | output = [ |
23 | "type=image,\"name=ghcr.io/graphs4value/refinery:cli-${REFINERY_VERSION},ghcr.io/graphs4value/refinery:cli\",push=true,annotation-index.org.opencontainers.image.source=https://github.com/graphs4value/refinery,annotation-index.org.opencontainers.image.description=Refinery: an efficient graph solver for generating well-formed models,annotation-index.org.opencontainers.image.licenses=EPL-2.0" | 27 | "type=image,\"name=ghcr.io/graphs4value/refinery-cli:${REFINERY_VERSION},ghcr.io/graphs4value/refinery-cli:latest\",push=true,annotation-index.org.opencontainers.image.source=https://github.com/graphs4value/refinery,\"annotation-index.org.opencontainers.image.description=Command line interface for Refinery, an efficient graph solver for generating well-formed models\",annotation-index.org.opencontainers.image.licenses=EPL-2.0" |
24 | ] | 28 | ] |
25 | contexts = { | 29 | contexts = { |
26 | base = "target:base" | 30 | base = "target:base" |
@@ -32,6 +36,7 @@ target "web" { | |||
32 | platforms = ["linux/amd64", "linux/arm64"] | 36 | platforms = ["linux/amd64", "linux/arm64"] |
33 | output = [ | 37 | output = [ |
34 | "type=image,\"name=ghcr.io/graphs4value/refinery:${REFINERY_VERSION},ghcr.io/graphs4value/refinery:latest\",push=true,annotation-index.org.opencontainers.image.source=https://github.com/graphs4value/refinery,annotation-index.org.opencontainers.image.description=Refinery: an efficient graph solver for generating well-formed models,annotation-index.org.opencontainers.image.licenses=EPL-2.0" | 38 | "type=image,\"name=ghcr.io/graphs4value/refinery:${REFINERY_VERSION},ghcr.io/graphs4value/refinery:latest\",push=true,annotation-index.org.opencontainers.image.source=https://github.com/graphs4value/refinery,annotation-index.org.opencontainers.image.description=Refinery: an efficient graph solver for generating well-formed models,annotation-index.org.opencontainers.image.licenses=EPL-2.0" |
39 | |||
35 | ] | 40 | ] |
36 | contexts = { | 41 | contexts = { |
37 | base = "target:base" | 42 | base = "target:base" |