diff options
Diffstat (limited to 'Library/Formula')
| -rw-r--r-- | Library/Formula/camlp5.rb | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Library/Formula/camlp5.rb b/Library/Formula/camlp5.rb new file mode 100644 index 000000000..24aea176a --- /dev/null +++ b/Library/Formula/camlp5.rb @@ -0,0 +1,16 @@ +require 'formula' + +class Camlp5 <Formula + url 'http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-5.15.tgz' + homepage 'http://pauillac.inria.fr/~ddr/camlp5/' + md5 '67ccbf37ffe33dec137ee71ca6189ea2' + + depends_on 'objective-caml' + + def install + system "./configure -strict -prefix #{prefix} -mandir #{man}" + # this build fails if jobs are parallelized + system "make -j 1 world.opt" + system "make install" + end +end |
