Merge pull request #294 from terrateamio/291-update-pds-bug-in-move-o…

…r-delete-source-file #291 UPDATE Pds, fixes bug where it recreates files if they moved or …
terrateamio · Feb 10, 2025 · e05b10a · e05b10a
2 parents f00a68f + dfda054
commit e05b10a
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 53 deletions.
diff --git a/config/base_image_config.sh b/config/base_image_config.sh
@@ -1,5 +1,5 @@
 : "${CONTAINER_REGISTRY:=ghcr.io}"
 : "${GITHUB_REPOSITORY_OWNER:=terrateamio}"
 : "${BASE_IMAGE_NAME:=terrat-base}"
-BASE_IMAGE_TAG="20250208-1600-e87cc18"
+BASE_IMAGE_TAG="20250210-1333-5567914"
 BASE_IMAGE="${CONTAINER_REGISTRY}/${GITHUB_REPOSITORY_OWNER}/${BASE_IMAGE_NAME}:${BASE_IMAGE_TAG}"
diff --git a/docker/terrat/Dockerfile b/docker/terrat/Dockerfile
@@ -55,7 +55,7 @@ RUN eval $(opam env) && \
     eval $(opam env) && \
     opam repository add opam-acsl mono/opam && \
     opam pin add -y containers 3.12 && \
-    opam pin add -y pds 6.49 --no-depexts && \
+    opam pin add -y pds 6.50 --no-depexts && \
     opam pin add -y hll 4.3 --no-depexts && \
     mkdir -p opam-mono/compilers opam-mono/packages && \
     echo 'opam-version: "2.0"' > opam-mono/repo && \

diff --git a/opam/packages/pds/pds.6.49/opam b/opam/packages/pds/pds.6.49/opam
diff --git a/opam/packages/pds/pds.6.48/opam → opam/packages/pds/pds.6.50/opam b/opam/packages/pds/pds.6.48/opam → opam/packages/pds/pds.6.50/opam
@@ -37,10 +37,10 @@ A tool to build Makefiles for Ocaml projects.
 homepage: "https://hg.sr.ht/~mmatalka/pds"
 
 url {
-	src: "http://acsl-pkgs.s3.amazonaws.com/pds-6.48.tar.gz"
+	src: "http://acsl-pkgs.s3.amazonaws.com/pds-6.50.tar.gz"
 	checksum: [
-		"md5=bc5216bdac1b9b41be7cb44d4393438a"
-		"sha256=67c9c10bbdb15ae689c61a17b9fbf9aa14c41817222df04c95afb29b65dbb845"
+		"md5=a38735278148d2067b9aae5dc7a14ba2"
+		"sha256=9c42d130dea9553e398d5b71ed48d31584124a1e79b1de5d9912d56660f02fa2"
 	]
 }
 bug-reports: "https://todo.sr.ht/~mmatalka/pds"