diff options
| -rw-r--r-- | Library/Formula/ltl2ba.rb | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Library/Formula/ltl2ba.rb b/Library/Formula/ltl2ba.rb new file mode 100644 index 000000000..f11a5e16e --- /dev/null +++ b/Library/Formula/ltl2ba.rb @@ -0,0 +1,12 @@ +require "formula" + +class Ltl2ba < Formula + homepage "http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/" + url "http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.2b1.tar.gz" + sha1 "74cff4914203753544bf300e041f433dbaeb3289" + + def install + system "make" + bin.install "ltl2ba" + end +end |