From 2b6a06dd678f5794d626aa09e3776802bacd42e0 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Wed, 3 May 2023 18:51:02 +0200 Subject: [PATCH] Update to ProB 1.12.1 --- build.gradle | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build.gradle b/build.gradle index 3eef1079..e4adf691 100644 --- a/build.gradle +++ b/build.gradle @@ -85,12 +85,12 @@ task downloadCli { delete file(dir) new File(dir).mkdirs() - ['leopard64':'macos','linux64':'linux64','win64':'windows'].each { + ['macos':'macos','linux64':'linux64','win64':'windows'].each { def n = it.getKey() def targetdir = dir + it.getValue() def targetzip = dir + "probcli_${n}.zip" - def url = "https://stups.hhu-hosting.de/downloads/prob/cli/nightly/probcli_${n}.zip" + def url = "https://stups.hhu-hosting.de/downloads/prob/cli/releases/1.12.1/probcli_${n}.zip" download(url, targetzip) FileTree zip = zipTree(targetzip) copy { -- GitLab