From e63f210bf3afc8577258b310446d02f7d454ec62 Mon Sep 17 00:00:00 2001 From: goyalyashpal Date: Wed, 17 Dec 2025 15:32:53 +0530 Subject: [PATCH 1/5] tla-toolbox: Use smaller name similar to upstream --- bucket/{tlaplus-toolbox.json => tla-toolbox.json} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename bucket/{tlaplus-toolbox.json => tla-toolbox.json} (100%) diff --git a/bucket/tlaplus-toolbox.json b/bucket/tla-toolbox.json similarity index 100% rename from bucket/tlaplus-toolbox.json rename to bucket/tla-toolbox.json From 03f91b7ea71c21021b7c2cffa1bafd3f6b50d60c Mon Sep 17 00:00:00 2001 From: goyalyashpal Date: Wed, 17 Dec 2025 15:34:44 +0530 Subject: [PATCH 2/5] tla-toolbox: Downgrade to stable v1.7.4 ... Fix https://github.com/ScoopInstaller/Extras/issues/16802 --- bucket/tla-toolbox.json | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) diff --git a/bucket/tla-toolbox.json b/bucket/tla-toolbox.json index 0420d290250e6e..5701b369fbac76 100644 --- a/bucket/tla-toolbox.json +++ b/bucket/tla-toolbox.json @@ -1,10 +1,10 @@ { - "version": "1.8.0", - "description": "IDE for the TLA+ tools.", - "homepage": "http://lamport.azurewebsites.net/tla/toolbox.html", + "version": "1.7.4", + "description": "An IDE for Leslie Lamport's TLA+ (Temporal Logic of Actions) language and its tools", + "homepage": "https://lamport.azurewebsites.net/tla/toolbox.html", "license": "MIT", - "url": "https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/TLAToolbox-1.8.0-win32.win32.x86_64.zip", - "hash": "sha1:98c4f71a327568dea0a34725ff660dc0e8f03049", + "url": "https://github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-win32.win32.x86_64.zip", + "hash": "sha1:10b011fa0b31bc58d771f6b4cd9dd30b446d6d9d", "extract_dir": "toolbox", "bin": [ "toolbox.exe", @@ -13,6 +13,7 @@ "tlc" ] ], + "persist": "configuration", "shortcuts": [ [ "toolbox.exe", @@ -26,15 +27,13 @@ ] }, "checkver": { - "url": "https://api.github.com/repositories/50906927/releases", - "jsonpath": "$[0].tag_name", - "regex": "v([\\d.]+)" + "github": "https://github.com/tlaplus/tlaplus" }, "autoupdate": { "url": "https://github.com/tlaplus/tlaplus/releases/download/v$version/TLAToolbox-$version-win32.win32.x86_64.zip", "hash": { - "url": "https://github.com/tlaplus/tlaplus/releases/tag/v$version", - "regex": "$sha1\\s+TLAToolbox-$version-win32\\.win32\\.x86_64\\.zip" + "url": "https://api.github.com/repos/tlaplus/tlaplus/releases/tags/v$version", + "regex": "$sha1\\|$basename" } } } From 8017449ac43dc08ad630e4e36be98506a53e002c Mon Sep 17 00:00:00 2001 From: goyalyashpal Date: Thu, 25 Dec 2025 00:38:20 +0530 Subject: [PATCH 3/5] tla-toolbox@1.7.4: Order the fields according to project guides ... https://github.com/ScoopInstaller/.github/blob/main/.github/CONTRIBUTING.md#for-scoop-buckets --- bucket/tla-toolbox.json | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/bucket/tla-toolbox.json b/bucket/tla-toolbox.json index 5701b369fbac76..5770412dc69252 100644 --- a/bucket/tla-toolbox.json +++ b/bucket/tla-toolbox.json @@ -3,6 +3,12 @@ "description": "An IDE for Leslie Lamport's TLA+ (Temporal Logic of Actions) language and its tools", "homepage": "https://lamport.azurewebsites.net/tla/toolbox.html", "license": "MIT", + "suggest": { + "pretty printer": [ + "miktex", + "latex" + ] + }, "url": "https://github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-win32.win32.x86_64.zip", "hash": "sha1:10b011fa0b31bc58d771f6b4cd9dd30b446d6d9d", "extract_dir": "toolbox", @@ -13,19 +19,13 @@ "tlc" ] ], - "persist": "configuration", "shortcuts": [ [ "toolbox.exe", "TLA+ Toolbox" ] ], - "suggest": { - "pretty printer": [ - "miktex", - "latex" - ] - }, + "persist": "configuration", "checkver": { "github": "https://github.com/tlaplus/tlaplus" }, From c268ce587f9d4d856b44278a0b86df9bed0f7169 Mon Sep 17 00:00:00 2001 From: goyalyashpal Date: Thu, 25 Dec 2025 00:25:53 +0530 Subject: [PATCH 4/5] tla-toolbox@1.7.4: Fix .jar bin with pre_install script... Problem: Scoop created .cmd file uses `java`, mayn't run at all. Solution: Create custom runner file using the bundled java bin. --- bucket/tla-toolbox.json | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/bucket/tla-toolbox.json b/bucket/tla-toolbox.json index 5770412dc69252..8b4055a9349a93 100644 --- a/bucket/tla-toolbox.json +++ b/bucket/tla-toolbox.json @@ -3,6 +3,7 @@ "description": "An IDE for Leslie Lamport's TLA+ (Temporal Logic of Actions) language and its tools", "homepage": "https://lamport.azurewebsites.net/tla/toolbox.html", "license": "MIT", + "notes": "`tlc MC.tla` throws 'tlc2.tool.ConfigFileException: MC.cfg File not found.' despite file exists in same directory (from Toolbox's Model).", "suggest": { "pretty printer": [ "miktex", @@ -12,10 +13,21 @@ "url": "https://github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-win32.win32.x86_64.zip", "hash": "sha1:10b011fa0b31bc58d771f6b4cd9dd30b446d6d9d", "extract_dir": "toolbox", + "pre_install": [ + "$JDKDIR = Get-ChildItem -Attributes directory -Filter \"plugins/*openjdk*\" $dir |", + " Resolve-Path -Relative -RelativeBasePath $dir", + "@(", + " \"@pushd `\"$dir`\"\"", + " '@set SHIM_TRGT=.\\tla2tools.jar'", + " \"@set THISJAVA=`\"${JDKDIR}\\jre\\bin\\java`\"\"", + " '@%THISJAVA% -jar %SHIM_TRGT% %*'", + " '@popd'", + ") | Set-Content \"$dir\\tla2tools.cmd\" -Encoding ASCII" + ], "bin": [ "toolbox.exe", [ - "tla2tools.jar", + "tla2tools.cmd", "tlc" ] ], @@ -35,5 +47,6 @@ "url": "https://api.github.com/repos/tlaplus/tlaplus/releases/tags/v$version", "regex": "$sha1\\|$basename" } - } + }, + "##": "PowerShell's Quoting_Rules (*install fields): https://technet.microsoft.com/en-us/library/hh847740.aspx" } From 9a7fe3a744b4ae57216de43d8b3e632f9c84f257 Mon Sep 17 00:00:00 2001 From: goyalyashpal Date: Thu, 1 Jan 2026 02:07:13 +0530 Subject: [PATCH 5/5] tla-toolbox@1.7.4: Fix notes & pre_install command script ... Problem: Tools usage was unclear due to constricted aliasing Solution: Align aliases according to original usage intent as do- cumented upstream in following file: https://github.com/tlaplus/tlaplus/blob/c8a59811fc/README.md#L16-L30 --- bucket/tla-toolbox.json | 38 ++++++++++++++++++++++++++++++++------ 1 file changed, 32 insertions(+), 6 deletions(-) diff --git a/bucket/tla-toolbox.json b/bucket/tla-toolbox.json index 8b4055a9349a93..c4250fedd2c189 100644 --- a/bucket/tla-toolbox.json +++ b/bucket/tla-toolbox.json @@ -3,7 +3,7 @@ "description": "An IDE for Leslie Lamport's TLA+ (Temporal Logic of Actions) language and its tools", "homepage": "https://lamport.azurewebsites.net/tla/toolbox.html", "license": "MIT", - "notes": "`tlc MC.tla` throws 'tlc2.tool.ConfigFileException: MC.cfg File not found.' despite file exists in same directory (from Toolbox's Model).", + "notes": "Specify full path for the spec inputfile when running `tlc`.", "suggest": { "pretty printer": [ "miktex", @@ -18,17 +18,40 @@ " Resolve-Path -Relative -RelativeBasePath $dir", "@(", " \"@pushd `\"$dir`\"\"", - " '@set SHIM_TRGT=.\\tla2tools.jar'", + " '@set TOOLS_JAR=.\\tla2tools.jar'", " \"@set THISJAVA=`\"${JDKDIR}\\jre\\bin\\java`\"\"", - " '@%THISJAVA% -jar %SHIM_TRGT% %*'", + " '@%THISJAVA% -cp %TOOLS_JAR% %*'", " '@popd'", - ") | Set-Content \"$dir\\tla2tools.cmd\" -Encoding ASCII" + ") | Set-Content \"$dir\\tla2tools.cmd\" -Encoding ASCII", + "Write-Output \"`nChecking if class-modules exist for use with 'tla2tools':\"", + "@( 'tlc2.TLC', 'tlc2.REPL', 'pcal.trans', 'tla2tex.TLA', 'tla2sany.SANY' )", + " | ForEach-Object -PipelineVariable modulename { $_ }", + " | ForEach-Object { ($_ -replace '\\.', '/') + '.class' }", + " | Resolve-Path -Relative -RelativeBasePath \"$dir/plugins/*tlatools*/\"", + " | ForEach-Object { \"`t* $modulename -> $_\" }" ], "bin": [ "toolbox.exe", + "tla2tools.cmd", [ "tla2tools.cmd", - "tlc" + "tlc", + "tlc2.TLC" + ], + [ + "tla2tools.cmd", + "pcal-trans", + "pcal.trans" + ], + [ + "tla2tools.cmd", + "tla2sany", + "tla2sany.SANY" + ], + [ + "tla2tools.cmd", + "tla2tex", + "tla2tex.TLA" ] ], "shortcuts": [ @@ -48,5 +71,8 @@ "regex": "$sha1\\|$basename" } }, - "##": "PowerShell's Quoting_Rules (*install fields): https://technet.microsoft.com/en-us/library/hh847740.aspx" + "##": [ + "PowerShell's Quoting_Rules (*install fields): https://technet.microsoft.com/en-us/library/hh847740.aspx", + "https://github.com/tlaplus/tlaplus/blob/c8a59811fc90755b8f32f242f48ceca50c9a404b/README.md?plain=1#L16-L30" + ] }