diff options
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/pathfinder.rb | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/Library/Formula/pathfinder.rb b/Library/Formula/pathfinder.rb index 21e6fd75f..d1a6c23fb 100644 --- a/Library/Formula/pathfinder.rb +++ b/Library/Formula/pathfinder.rb @@ -5,18 +5,11 @@ class Pathfinder < Formula url 'http://db.inf.uni-tuebingen.de/files/research/pathfinder/download/pathfinder-0.41.tar.gz' sha1 '84f5581688e4c1dff27cf8e7d4354ee594f56970' - def options - [ - ['--enable-debug', 'enable full debbugging'] - ] - end + option 'enable-debug', 'Enable debugging' def install args = ["--prefix=#{prefix}"] - - if ARGV.include? '--enable-debug' - args << '--enable-debug' - end + args << '--enable-debug' if build.include? 'enable-debug' system "./configure", *args system "make" |