31 lines
839 B
Ruby
31 lines
839 B
Ruby
class Spin < Formula
|
|
desc "Spin model checker"
|
|
homepage "https://spinroot.com/spin/whatispin.html"
|
|
url "https://spinroot.com/spin/Src/spin642.tar.gz"
|
|
version "6.4.2"
|
|
sha256 "d1f3ee841db0da7ba02fe1a04ebd02d316c0760ab8125616d7d2ff46f1c573e5"
|
|
|
|
bottle do
|
|
cellar :any_skip_relocation
|
|
revision 1
|
|
sha256 "f83fa245ef9988d38eac9e7f125fa965d1ed53463b550d8606435997d5e0da18" => :el_capitan
|
|
sha256 "07ac05a68769acdb0d4be2085ca2f2bca906066af85d1e2730bbed834a7d46d3" => :yosemite
|
|
sha256 "cb0049c50da45aafad43683a9ab813e6c3dc89a4d76890c44da3e5992a70f9b6" => :mavericks
|
|
end
|
|
|
|
fails_with :llvm do
|
|
build 2334
|
|
end
|
|
|
|
def install
|
|
ENV.deparallelize
|
|
|
|
cd "Src#{version}" do
|
|
system "make"
|
|
bin.install "spin"
|
|
end
|
|
|
|
bin.install "iSpin/ispin.tcl" => "ispin"
|
|
man1.install "Man/spin.1"
|
|
end
|
|
end
|