camlp5: update homepage
This commit is contained in:
parent
75f117da87
commit
826afdcf8c
1 changed files with 9 additions and 9 deletions
|
@ -1,16 +1,16 @@
|
|||
require 'formula'
|
||||
require "formula"
|
||||
|
||||
class Camlp5 < Formula
|
||||
homepage 'http://pauillac.inria.fr/~ddr/camlp5/'
|
||||
url 'http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-6.11.tgz'
|
||||
sha1 '4649a2850869d624182bfb5a02f60800ae35b935'
|
||||
homepage "http://camlp5.gforge.inria.fr/"
|
||||
url "http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-6.11.tgz"
|
||||
sha1 "4649a2850869d624182bfb5a02f60800ae35b935"
|
||||
|
||||
depends_on 'objective-caml'
|
||||
depends_on "objective-caml"
|
||||
|
||||
option 'strict', 'Compile in strict mode'
|
||||
option "strict", "Compile in strict mode"
|
||||
|
||||
def install
|
||||
if build.include? 'strict'
|
||||
if build.include? "strict"
|
||||
strictness = "-strict"
|
||||
else
|
||||
strictness = "-transitional"
|
||||
|
@ -19,7 +19,7 @@ class Camlp5 < Formula
|
|||
system "./configure", "-prefix", prefix, "-mandir", man, strictness
|
||||
# this build fails if jobs are parallelized
|
||||
ENV.deparallelize
|
||||
system "make world.opt"
|
||||
system "make install"
|
||||
system "make", "world.opt"
|
||||
system "make", "install"
|
||||
end
|
||||
end
|
||||
|
|
Loading…
Reference in a new issue