2014-04-26 00:30:14 +08:00
|
|
|
class Cryptol < Cask
|
|
|
|
|
version '2.0.0'
|
|
|
|
|
sha256 '19b3c24390ccb66584f42f34fed91cefc12f667879ab0228cdf806016bcd53c4'
|
2014-06-27 08:01:06 +08:00
|
|
|
|
2014-09-26 20:08:51 +08:00
|
|
|
url "https://github.com/GaloisInc/cryptol/releases/download/v#{version}/cryptol-#{version}-MacOSX-64.tar.gz"
|
2014-09-15 00:01:49 +08:00
|
|
|
gpg "#{url}.sig",
|
|
|
|
|
:key_url => 'http://cryptol.net/files/Galois.asc'
|
2014-06-27 08:01:06 +08:00
|
|
|
homepage 'http://cryptol.net/'
|
2014-10-12 00:34:56 +08:00
|
|
|
license :bsd
|
2014-06-27 08:01:06 +08:00
|
|
|
|
2014-09-26 20:08:51 +08:00
|
|
|
binary "cryptol-#{version}-MacOSX-64/bin/cryptol"
|
|
|
|
|
binary "cryptol-#{version}-MacOSX-64/lib/Cryptol.cry", :target => '/usr/local/lib/Cryptol.cry'
|
2014-04-26 00:30:14 +08:00
|
|
|
|
|
|
|
|
caveats do
|
|
|
|
|
files_in_usr_local
|
2014-10-07 23:02:06 +08:00
|
|
|
<<-EOS.undent
|
|
|
|
|
Cryptol depends on CVC4 (http://cvc4.cs.nyu.edu/).
|
|
|
|
|
The CVC4 binary must be in your PATH.
|
|
|
|
|
EOS
|
2014-04-26 00:30:14 +08:00
|
|
|
end
|
|
|
|
|
end
|
