Versions/bucket/tla-toolbox-pre.json at 420dcae720327f7d794d1d4ef54b260ef0cd93ae · ScoopInstaller/Versions · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
{
    "version": "1.8.0",
    "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.8.0/TLAToolbox-1.8.0-win32.win32.x86_64.zip",
    "hash": "sha1:58cf31e722b38f65f9dd32697f6b9cc024b01cda",
    "extract_dir": "toolbox",
    "pre_install": [
        "$JDKDIR = Get-ChildItem -Attributes directory -Filter \"plugins/*openjdk*\" $dir  |",
        "  Resolve-Path -Relative -RelativeBasePath $dir",
        "@(",
        "  \"@rem `\"$dir`\"\"",
        "  \"@set TOOLS_JAR=`\"$dir\\tla2tools.jar`\"\"",
        "  \"@set THIS_JAVA=`\"$dir\\${JDKDIR}\\jre\\bin\\java`\"\"",
        "  '@%THIS_JAVA% -cp %TOOLS_JAR%  %*'",
        ")  | 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",
            "toolbox-pre"
        ],
        [
            "tla2tools.cmd",
            "tla2tools-pre"
        ],
        [
            "tla2tools.cmd",
            "tlc-pre",
            "tlc2.TLC"
        ],
        [
            "tla2tools.cmd",
            "tlc-repl-pre",
            "tlc2.REPL"
        ],
        [
            "tla2tools.cmd",
            "pcal-trans-pre",
            "pcal.trans"
        ],
        [
            "tla2tools.cmd",
            "tla2sany-pre",
            "tla2sany.SANY"
        ],
        [
            "tla2tools.cmd",
            "tla2tex-pre",
            "tla2tex.TLA"
        ]
    ],
    "shortcuts": [
        [
            "toolbox.exe",
            "TLA+ Toolbox Pre"
        ]
    ],
    "persist": "configuration",
    "checkver": {
        "url": "https://api.github.com/repositories/50906927/releases",
        "jsonpath": "$[0].tag_name",
        "regex": "v([\\d.]+)"
    },
    "autoupdate": {
        "url": "https://github.com/tlaplus/tlaplus/releases/download/v$version/TLAToolbox-$version-win32.win32.x86_64.zip",
        "hash": {
            "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",
        "https://github.com/tlaplus/tlaplus/blob/c8a59811fc90755b8f32f242f48ceca50c9a404b/README.md#L16-L30"
    ]
}