Casks/cvc4.rb

   1 cask :v1 => 'cvc4' do
   2
   3   if MacOS.release <= :mountain_lion
   4     version '1.4'
   5     sha256 '436ebe16872a08bb41270cb1302c4258a7ccd187bf8e68ad8301300e49fb7718'
   6
   7     # Mountain Lion package might work on older releases, per homepage
   8     url "http://cvc4.cs.nyu.edu/builds/macos/cvc4-#{version}.MacOs85.MountainLion.mpkg"
   9
  10     pkg "cvc4-#{version}.MacOs85.MountainLion.mpkg"
  11   else
  12     version '1.4_0'
  13     sha256 'e3a0da4cf3187a58c9cc36e24623ac0ddbfd7ac18b389b7c8cca1a4d3fcbc03f'
  14
  15     # Mavericks package appears to work on Yosemite
  16     url "http://cvc4.cs.nyu.edu/builds/macos/cvc4-#{version}.MacOs9.Mavericks.mpkg"
  17
  18     pkg "cvc4-#{version}.MacOs9.Mavericks.mpkg"
  19   end
  20
  21   homepage 'http://cvc4.cs.nyu.edu/'
  22   license :oss
  23
  24   uninstall :pkgutil => 'org.macports.cvc4'
  25
  26   caveats do
  27     path_environment_variable('/opt/local/bin')
  28   end
  29 end