diff options
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/ltl2ba.rb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Library/Formula/ltl2ba.rb b/Library/Formula/ltl2ba.rb index f11a5e16e..34dd9778e 100644 --- a/Library/Formula/ltl2ba.rb +++ b/Library/Formula/ltl2ba.rb @@ -5,6 +5,13 @@ class Ltl2ba < Formula url "http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.2b1.tar.gz" sha1 "74cff4914203753544bf300e041f433dbaeb3289" + bottle do + cellar :any + sha1 "d61bce916a95929af945b61870ef7be361190a42" => :yosemite + sha1 "b57bf1f7810ba24b109807e8f6dbfbdc69b84c48" => :mavericks + sha1 "6cd5fd42349d5bd780e9c38356277e0e0383a419" => :mountain_lion + end + def install system "make" bin.install "ltl2ba" |