diff options
| author | Jack Nagel | 2014-05-26 14:40:18 -0500 |
|---|---|---|
| committer | Jack Nagel | 2014-05-26 14:43:42 -0500 |
| commit | 94f4506a734b6345bef962a9bd26389b7aa91d0a (patch) | |
| tree | d84060a9daa2471001dcdd5e2a9cd4a4ed97bcd5 /Library | |
| parent | e907abcbcc7a82b65f5734149a3583a9d47b2972 (diff) | |
| download | homebrew-94f4506a734b6345bef962a9bd26389b7aa91d0a.tar.bz2 | |
menhir 20140422
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/menhir.rb | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Library/Formula/menhir.rb b/Library/Formula/menhir.rb new file mode 100644 index 000000000..ce50855ec --- /dev/null +++ b/Library/Formula/menhir.rb @@ -0,0 +1,15 @@ +require "formula" + +class Menhir < Formula + homepage "http://cristal.inria.fr/~fpottier/menhir" + url "http://cristal.inria.fr/~fpottier/menhir/menhir-20140422.tar.gz" + sha1 "1f8980f1436f162c8abed990ade51f0e9433f7a2" + + depends_on "objective-caml" + + def install + ENV.deparallelize + system "make", "PREFIX=#{prefix}", "all" + system "make", "PREFIX=#{prefix}", "install" + end +end |