aboutsummaryrefslogtreecommitdiffstats
path: root/docker
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2024-06-23 16:55:02 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2024-06-23 16:55:02 +0200
commit2befbbc320750fe7bcfc72cbf4b162a1c07ab3a7 (patch)
tree9e634a2acd0031ccb7316a434f59874c1c897a8f /docker
parentchore(deps): extract tools.refinery.z3 (diff)
downloadrefinery-2befbbc320750fe7bcfc72cbf4b162a1c07ab3a7.tar.gz
refinery-2befbbc320750fe7bcfc72cbf4b162a1c07ab3a7.tar.zst
refinery-2befbbc320750fe7bcfc72cbf4b162a1c07ab3a7.zip
build: separate refinery-cli Docker image
Diffstat (limited to 'docker')
-rw-r--r--docker/docker-bake.hcl7
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
9variable "REFINERY_ANNOTATIONS" {
10 default = ""
11}
12
9group "default" { 13group "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"