2015-12-18 09:15:28 +08:00
|
|
|
cask 'tla-plus-toolbox' do
|
2016-01-12 01:20:45 +08:00
|
|
|
version '1.5.2'
|
|
|
|
sha256 '4c35713d1c5cdb8c4b3883fcd002098dcc1d2e64f9251455857fcb71a44d00e6'
|
2015-01-12 11:06:52 +08:00
|
|
|
|
2015-01-19 10:43:31 +08:00
|
|
|
# inria.fr is the official download host per the vendor homepage
|
2015-08-02 07:00:53 +08:00
|
|
|
url "https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-#{version}-macosx.cocoa.x86_64.zip"
|
2015-01-12 11:06:52 +08:00
|
|
|
name 'TLA+ Toolbox'
|
2015-12-26 12:46:37 +08:00
|
|
|
homepage 'https://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html'
|
2015-01-12 11:06:52 +08:00
|
|
|
license :mit
|
|
|
|
|
|
|
|
# Renamed for clarity: app name is inconsistent with its branding.
|
|
|
|
# Original discussion: https://github.com/caskroom/homebrew-cask/pull/8829
|
|
|
|
app 'toolbox/toolbox.app', :target => 'TLA+ Toolbox.app'
|
|
|
|
|
|
|
|
caveats <<-EOS.undent
|
|
|
|
#{token} requires Java. You can install the latest version with
|
|
|
|
brew cask install java
|
|
|
|
EOS
|
|
|
|
end
|