pathfinder: use new dsl
This commit is contained in:
parent
2d2236ef18
commit
e0b29e4c10
1 changed files with 2 additions and 9 deletions
|
@ -5,18 +5,11 @@ class Pathfinder < Formula
|
||||||
url 'http://db.inf.uni-tuebingen.de/files/research/pathfinder/download/pathfinder-0.41.tar.gz'
|
url 'http://db.inf.uni-tuebingen.de/files/research/pathfinder/download/pathfinder-0.41.tar.gz'
|
||||||
sha1 '84f5581688e4c1dff27cf8e7d4354ee594f56970'
|
sha1 '84f5581688e4c1dff27cf8e7d4354ee594f56970'
|
||||||
|
|
||||||
def options
|
option 'enable-debug', 'Enable debugging'
|
||||||
[
|
|
||||||
['--enable-debug', 'enable full debbugging']
|
|
||||||
]
|
|
||||||
end
|
|
||||||
|
|
||||||
def install
|
def install
|
||||||
args = ["--prefix=#{prefix}"]
|
args = ["--prefix=#{prefix}"]
|
||||||
|
args << '--enable-debug' if build.include? 'enable-debug'
|
||||||
if ARGV.include? '--enable-debug'
|
|
||||||
args << '--enable-debug'
|
|
||||||
end
|
|
||||||
|
|
||||||
system "./configure", *args
|
system "./configure", *args
|
||||||
system "make"
|
system "make"
|
||||||
|
|
Loading…
Reference in a new issue