gnu-indent: remove default-names option

This commit is contained in:
FX Coudert 2019-01-05 11:32:44 +01:00
parent dca8f78821
commit e560394b30

View file

@ -13,10 +13,6 @@ class GnuIndent < Formula
sha256 "d31ad8b842092150f18dd706d369a0fa6db7fbb41302247eac601c97785218af" => :el_capitan
end
option "with-default-names", "Do not prepend 'g' to the binary"
deprecated_option "default-names" => "with-default-names"
depends_on "gettext"
def install
@ -25,17 +21,28 @@ class GnuIndent < Formula
--disable-dependency-tracking
--prefix=#{prefix}
--mandir=#{man}
--program-prefix=g
]
args << "--program-prefix=g" if build.without? "default-names"
system "./configure", *args
system "make", "install"
if build.without? "default-names"
(libexec/"gnubin").install_symlink bin/"gindent" => "indent"
(libexec/"gnuman/man1").install_symlink man1/"gindent.1" => "indent.1"
end
(libexec/"gnubin").install_symlink bin/"gindent" => "indent"
(libexec/"gnuman/man1").install_symlink man1/"gindent.1" => "indent.1"
end
def caveats; <<~EOS
GNU "indent" has been installed as "gindent".
If you need to use it as "indent", you can add a "gnubin" directory
to your PATH from your bashrc like:
PATH="#{opt_libexec}/gnubin:$PATH"
Additionally, you can access its man page with normal name if you add
the "gnuman" directory to your MANPATH from your bashrc as well:
MANPATH="#{opt_libexec}/gnuman:$MANPATH"
EOS
end
test do