aboutsummaryrefslogtreecommitdiffstats
path: root/Library
diff options
context:
space:
mode:
authorBart Vandendriessche2011-07-20 22:03:06 +0200
committerAdam Vandenberg2011-07-29 08:56:09 -0700
commit7b2cd689a9c065cf913b871ad5cb014e313cecb5 (patch)
tree42c54ce260914c53f9351c9daab61bf0b64a34dc /Library
parent853b6277e5f3e31ab1181b78656476953fec1173 (diff)
downloadhomebrew-7b2cd689a9c065cf913b871ad5cb014e313cecb5.tar.bz2
fish: add --HEAD build
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library')
-rw-r--r--Library/Formula/fish.rb28
1 files changed, 21 insertions, 7 deletions
diff --git a/Library/Formula/fish.rb b/Library/Formula/fish.rb
index 51390b7a8..17357ecc5 100644
--- a/Library/Formula/fish.rb
+++ b/Library/Formula/fish.rb
@@ -5,23 +5,37 @@ class Fish < Formula
homepage 'http://fishshell.org/'
md5 'ead6b7c6cdb21f35a3d4aa1d5fa596f1'
+ head 'git://gitorious.org/fish-shell/fish-shell.git'
+
+ # Indeed, the head build always builds documentation
+ depends_on 'doxygen' if ARGV.build_head?
+
depends_on 'readline'
skip_clean 'share/doc'
def patches
- # Reduces the timeout in select_try() from 5s to 10ms.
- # The old timeout would cause fish to frequently freeze for a 5
- # second period.
- "http://gitorious.org/fish-shell/fish-shell/commit/6b8e7b16f6d4e11e168e3ce2effe2d8f0a53b184.patch?format=diff"
+ p = []
+
+ unless ARGV.build_head?
+ # Reduces the timeout in select_try() from 5s to 10ms.
+ # The old timeout would cause fish to frequently freeze for a 5
+ # second period.
+ p << "http://gitorious.org/fish-shell/fish-shell/commit/6b8e7b16f6d4e11e168e3ce2effe2d8f0a53b184.patch?format=diff"
+ end
end
def install
+ system "autoconf" if ARGV.build_head?
system "./configure", "--prefix=#{prefix}", "--without-xsel"
system "make install"
end
- def caveats
- "You will need to add #{HOMEBREW_PREFIX}/bin/fish to /etc/shells\n"+
- "Run `chsh -s #{HOMEBREW_PREFIX}/bin/fish' to make fish your default shell."
+ def caveats; <<-EOS.undent
+ You will need to add:
+ #{HOMEBREW_PREFIX}/bin/fish
+ to /etc/shells. Run:
+ chsh -s #{HOMEBREW_PREFIX}/bin/fish
+ to make fish your default shell.
+ EOS
end
end