erlang: add --no-docs option
This commit is contained in:
parent
e93ee9c30b
commit
97309e91d2
1 changed files with 8 additions and 5 deletions
|
@ -38,7 +38,8 @@ class Erlang < Formula
|
||||||
def options
|
def options
|
||||||
[
|
[
|
||||||
['--disable-hipe', "Disable building hipe; fails on various OS X systems."],
|
['--disable-hipe', "Disable building hipe; fails on various OS X systems."],
|
||||||
['--time', '"brew test --time" to include a time-consuming test.']
|
['--time', '"brew test --time" to include a time-consuming test.'],
|
||||||
|
['--no-docs', 'Do not install documentation.']
|
||||||
]
|
]
|
||||||
end
|
end
|
||||||
|
|
||||||
|
@ -71,11 +72,13 @@ class Erlang < Formula
|
||||||
system "make"
|
system "make"
|
||||||
system "make install"
|
system "make install"
|
||||||
|
|
||||||
manuals = ARGV.build_head? ? ErlangHeadManuals : ErlangManuals
|
unless ARGV.include? '--no-docs'
|
||||||
manuals.new.brew { man.install Dir['man/*'] }
|
manuals = ARGV.build_head? ? ErlangHeadManuals : ErlangManuals
|
||||||
|
manuals.new.brew { man.install Dir['man/*'] }
|
||||||
|
|
||||||
htmls = ARGV.build_head? ? ErlangHeadHtmls : ErlangHtmls
|
htmls = ARGV.build_head? ? ErlangHeadHtmls : ErlangHtmls
|
||||||
htmls.new.brew { doc.install Dir['*'] }
|
htmls.new.brew { doc.install Dir['*'] }
|
||||||
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
def test
|
def test
|
||||||
|
|
Loading…
Reference in a new issue