diff options
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/blackbox.rb | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Library/Formula/blackbox.rb b/Library/Formula/blackbox.rb new file mode 100644 index 000000000..789650a2e --- /dev/null +++ b/Library/Formula/blackbox.rb @@ -0,0 +1,12 @@ +require 'formula' + +class Blackbox < Formula + homepage 'http://www.cs.rochester.edu/u/kautz/satplan/blackbox/' + url 'http://www.cs.rochester.edu/u/kautz/satplan/blackbox/Blackbox44.tgz' + md5 'b11aca3c49eb63b2b914b689c2a89dec' + + def install + system "make" + bin.install 'blackbox' + end +end |