18 lines
583 B
Ruby
18 lines
583 B
Ruby
class Ltl2ba < Formula
|
|
desc "Translate LTL formulae to Buchi automata"
|
|
homepage "http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/"
|
|
url "http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.2b1.tar.gz"
|
|
sha256 "950f304c364ffb567a4fba9b88f1853087c0dcf57161870b6314493fddb492b8"
|
|
|
|
bottle do
|
|
cellar :any
|
|
sha1 "d61bce916a95929af945b61870ef7be361190a42" => :yosemite
|
|
sha1 "b57bf1f7810ba24b109807e8f6dbfbdc69b84c48" => :mavericks
|
|
sha1 "6cd5fd42349d5bd780e9c38356277e0e0383a419" => :mountain_lion
|
|
end
|
|
|
|
def install
|
|
system "make"
|
|
bin.install "ltl2ba"
|
|
end
|
|
end
|