erlang@19: remove without-docs option
This commit is contained in:
parent
0d13c0d859
commit
786c936f52
1 changed files with 2 additions and 6 deletions
|
@ -18,10 +18,8 @@ class ErlangAT19 < Formula
|
||||||
option "with-native-libs", "Enable native library compilation"
|
option "with-native-libs", "Enable native library compilation"
|
||||||
option "with-dirty-schedulers", "Enable experimental dirty schedulers"
|
option "with-dirty-schedulers", "Enable experimental dirty schedulers"
|
||||||
option "with-java", "Build jinterface application"
|
option "with-java", "Build jinterface application"
|
||||||
option "without-docs", "Do not install documentation"
|
|
||||||
|
|
||||||
deprecated_option "disable-hipe" => "without-hipe"
|
deprecated_option "disable-hipe" => "without-hipe"
|
||||||
deprecated_option "no-docs" => "without-docs"
|
|
||||||
|
|
||||||
depends_on "autoconf" => :build
|
depends_on "autoconf" => :build
|
||||||
depends_on "automake" => :build
|
depends_on "automake" => :build
|
||||||
|
@ -107,10 +105,8 @@ class ErlangAT19 < Formula
|
||||||
system "make"
|
system "make"
|
||||||
system "make", "install"
|
system "make", "install"
|
||||||
|
|
||||||
if build.with? "docs"
|
(lib/"erlang").install resource("man").files("man")
|
||||||
(lib/"erlang").install resource("man").files("man")
|
doc.install resource("html")
|
||||||
doc.install resource("html")
|
|
||||||
end
|
|
||||||
end
|
end
|
||||||
|
|
||||||
def caveats; <<~EOS
|
def caveats; <<~EOS
|
||||||
|
|
Loading…
Reference in a new issue