facc5a3bf8
The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
21 lines
450 B
Ruby
21 lines
450 B
Ruby
require 'formula'
|
|
|
|
class Ppl <Formula
|
|
url 'http://www.cs.unipr.it/ppl/Download/ftp/releases/0.10.2/ppl-0.10.2.tar.bz2'
|
|
homepage 'http://www.cs.unipr.it/ppl/'
|
|
md5 '5667111f53150618b0fa522ffc53fc3e'
|
|
|
|
depends_on 'gmp'
|
|
|
|
def install
|
|
configure_args = [
|
|
"--prefix=#{prefix}",
|
|
"--disable-debug",
|
|
"--disable-dependency-tracking",
|
|
"--enable-optimization=sspeed",
|
|
]
|
|
|
|
system "./configure", *args
|
|
system "make install"
|
|
end
|
|
end
|