2015-12-18 09:15:28 +08:00
|
|
|
cask 'cvc4' do
|
2014-12-11 00:55:19 +08:00
|
|
|
if MacOS.release <= :mountain_lion
|
2014-12-10 23:29:21 +08:00
|
|
|
version '1.4'
|
|
|
|
sha256 '436ebe16872a08bb41270cb1302c4258a7ccd187bf8e68ad8301300e49fb7718'
|
2014-12-20 23:33:38 +08:00
|
|
|
|
2014-12-10 23:29:21 +08:00
|
|
|
# Mountain Lion package might work on older releases, per homepage
|
2015-06-29 14:32:18 +08:00
|
|
|
url "https://cvc4.cs.nyu.edu/builds/macos/cvc4-#{version}.MacOs85.MountainLion.mpkg"
|
2014-12-10 23:29:21 +08:00
|
|
|
|
|
|
|
pkg "cvc4-#{version}.MacOs85.MountainLion.mpkg"
|
|
|
|
else
|
|
|
|
version '1.4_0'
|
|
|
|
sha256 'e3a0da4cf3187a58c9cc36e24623ac0ddbfd7ac18b389b7c8cca1a4d3fcbc03f'
|
|
|
|
|
|
|
|
# Mavericks package appears to work on Yosemite
|
2015-06-29 14:32:18 +08:00
|
|
|
url "https://cvc4.cs.nyu.edu/builds/macos/cvc4-#{version}.MacOs9.Mavericks.mpkg"
|
2014-12-10 23:29:21 +08:00
|
|
|
|
|
|
|
pkg "cvc4-#{version}.MacOs9.Mavericks.mpkg"
|
|
|
|
end
|
|
|
|
|
2015-04-05 13:31:12 +08:00
|
|
|
name 'CVC4'
|
2015-06-29 14:32:18 +08:00
|
|
|
homepage 'https://cvc4.cs.nyu.edu/'
|
2014-12-10 23:29:21 +08:00
|
|
|
license :oss
|
|
|
|
|
2016-01-18 09:27:20 +08:00
|
|
|
uninstall pkgutil: 'org.macports.cvc4'
|
2015-01-02 20:40:45 +08:00
|
|
|
|
|
|
|
caveats do
|
|
|
|
path_environment_variable('/opt/local/bin')
|
|
|
|
end
|
2014-12-10 23:29:21 +08:00
|
|
|
end
|