dnrops
/
homebrew-cask
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add Tamarin-prover update from 1.0.0 to 1.2.0; auto-update not possible (#30277) 

* add Tamarin-prover update from 1.0.0 to 1.2.0; auto-update not possible

* Update to tamarin-prover from 1.0.0 to 1.2.0: this change simply adds the appcast url and checkpoint to the tamarin-prover.rb file

* Update tamarin-prover.rb

* Update tamarin-prover.rb

* Add interpolation
This commit is contained in:
Martin Dehnel-Wild 2017-02-22 08:05:32 +00:00 committed by Miccal Matthews
parent 6ad88e5d4a
commit b1ed9ca1c1
1 changed files with 11 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
Casks/tamarin-prover.rb
View File

@ -1,14 +1,19 @@
cask 'tamarin-prover' do
version '1.0.0'
sha256 '0e606088f1204847e4a981f2519c6e13c27778751f81d1c99a8f3f2d42eb3ff8'
version '1.2.0'
sha256 'f6178d6b3f7356d3c0d704339417bb413432f781f1ebf810e18ce32eed45ebda'
# github.com/tamarin-prover/bin-dists was verified as official when first introduced to the cask
url 'https://github.com/tamarin-prover/bin-dists/archive/master.zip'
# github.com/tamarin-prover/tamarin-prover was verified as official when first introduced to the cask
url "https://github.com/tamarin-prover/tamarin-prover/releases/download/#{version}/tamarin-prover-#{version.major_minor}-macOS-x86_64.zip"
appcast 'https://github.com/tamarin-prover/tamarin-prover/releases.atom',
checkpoint: 'd53924084b55faacd8db4d3c65bbfbfc51583107708084b4e8189fb4ae4d9677'
name 'tamarin-prover'
homepage 'https://tamarin-prover.github.io/'
depends_on macos: '>= :lion'
depends_on formula: ['homebrew/science/maude', 'graphviz']
depends_on formula: [
'homebrew/science/maude',
'graphviz',
]
binary "bin-dists-master/tamarin-prover-#{version}/tamarin-prover-#{version}-macosx", target: 'tamarin-prover'
binary "tamarin-prover-#{version.major_minor}-macOS-x86_64", target: 'tamarin-prover'
end