You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
96 lines
2.4 KiB
96 lines
2.4 KiB
cask 'mcrl2-nightly' do
|
|
version :latest
|
|
sha256 :no_check
|
|
|
|
url do
|
|
require 'open-uri'
|
|
open('http://www.mcrl2.org/web/user_manual/download.html')
|
|
.read
|
|
.scan(%r{href="([^"]+/devel/mcrl2\-[^"]+_x86_64.dmg)"})
|
|
.flatten
|
|
.first
|
|
end
|
|
name 'mCRL2'
|
|
homepage 'http://www.mcrl2.org/'
|
|
|
|
app 'mCRL2.app'
|
|
|
|
tools = [
|
|
'besinfo',
|
|
'bespp',
|
|
'bessolve',
|
|
'diagraphica',
|
|
'lps2lts',
|
|
'lps2pbes',
|
|
'lpsactionrename',
|
|
'lpsbinary',
|
|
'lpsbisim2pbes',
|
|
'lpsconfcheck',
|
|
'lpsconstelm',
|
|
'lpsinfo',
|
|
'lpsinvelm',
|
|
'lpsparelm',
|
|
'lpsparunfold',
|
|
'lpspp',
|
|
'lpsrewr',
|
|
'lpssim',
|
|
'lpssumelm',
|
|
'lpssuminst',
|
|
'lpsuntime',
|
|
'lpsxsim',
|
|
'lts2lps',
|
|
'lts2pbes',
|
|
'ltscompare',
|
|
'ltsconvert',
|
|
'ltsgraph',
|
|
'ltsinfo',
|
|
'ltspbisim',
|
|
'ltsview',
|
|
'mcrl2-gui',
|
|
'mcrl2compilerewriter',
|
|
'mcrl22lps',
|
|
'mcrl2i',
|
|
'mcrl2xi',
|
|
'pbes2bes',
|
|
'pbes2bool',
|
|
'pbesconstelm',
|
|
'pbesinfo',
|
|
'pbesinst',
|
|
'pbesparelm',
|
|
'pbespgsolve',
|
|
'pbespp',
|
|
'pbesrewr',
|
|
'pbesstategraph',
|
|
'tracepp',
|
|
'txt2bes',
|
|
'txt2lps',
|
|
'txt2pbes',
|
|
]
|
|
|
|
experimental_tools = [
|
|
'besconvert',
|
|
'complps2pbes',
|
|
'lpsrealelm',
|
|
'lpsrealzone',
|
|
'lpssymbolicbisim',
|
|
'pbesabsinthe',
|
|
'pbespareqelm',
|
|
'symbolic_exploration',
|
|
]
|
|
|
|
[*tools, *experimental_tools].each do |tool|
|
|
binary "#{staged_path}/bin/#{tool}.wrapper.sh", target: tool
|
|
end
|
|
|
|
preflight do
|
|
FileUtils.mkdir "#{staged_path}/bin"
|
|
|
|
[*tools, *experimental_tools].each do |tool|
|
|
# shim script (https://github.com/caskroom/homebrew-cask/issues/18809)
|
|
IO.write "#{staged_path}/bin/#{tool}.wrapper.sh", <<~EOS
|
|
#!/bin/sh
|
|
exec '#{appdir}/mCRL2.app/Contents/bin/#{tool}' "$@"
|
|
EOS
|
|
end
|
|
end
|
|
end
|
|
|