Update wasi-sdk artifact info

tweag · Aug 17, 2024 · e1a3769 · e1a3769
1 parent bcd139a
commit e1a3769
Showing 1 changed file with 19 additions and 5 deletions.
diff --git a/app/Main.hs b/app/Main.hs
@@ -377,21 +377,35 @@ bindistInfos =
                   projectId = 3212,
                   ref = "master",
                   jobName = "x86_64-linux",
-                  artifactPath = "dist/wasi-sdk-22-linux.tar.gz",
+                  artifactPath = "dist/wasi-sdk-25.0-x86_64-linux.tar.gz",
                   pipelineFilter = [("status", Just "success")]
                 }
           },
       (,)
-        "wasi-sdk-darwin"
+        "wasi-sdk-aarch64-darwin"
         BindistInfo
           { dlArgs = rawFileDownloadArgs,
             src =
               GitLabArtifact
                 { gitlabDomain = "gitlab.haskell.org",
                   projectId = 3212,
                   ref = "master",
-                  jobName = "darwin",
-                  artifactPath = "dist/wasi-sdk-22-macos.tar.gz",
+                  jobName = "aarch64-darwin",
+                  artifactPath = "dist/wasi-sdk-25.0-arm64-macos.tar.gz",
+                  pipelineFilter = [("status", Just "success")]
+                }
+          },
+      (,)
+        "wasi-sdk-x86_64-darwin"
+        BindistInfo
+          { dlArgs = rawFileDownloadArgs,
+            src =
+              GitLabArtifact
+                { gitlabDomain = "gitlab.haskell.org",
+                  projectId = 3212,
+                  ref = "master",
+                  jobName = "x86_64-darwin",
+                  artifactPath = "dist/wasi-sdk-25.0-arm64-macos.tar.gz",
                   pipelineFilter = [("status", Just "success")]
                 }
           },
@@ -405,7 +419,7 @@ bindistInfos =
                   projectId = 3212,
                   ref = "master",
                   jobName = "aarch64-linux",
-                  artifactPath = "dist/wasi-sdk-22-linux.tar.gz",
+                  artifactPath = "dist/wasi-sdk-25.0-aarch64-linux.tar.gz",
                   pipelineFilter = [("status", Just "success")]
                 }
           },