sundowndev
/
homebrew-core
mirror of https://github.com/sundowndev/homebrew-core.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
homebrew-core/Formula/ppl.rb

17 lines
458 B
Ruby
Raw Normal View History

The Parma Polyhedra Library The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
2010-01-07 14:27:15 +00:00
require 'formula'
Use ruby style for inheritance.
2011-03-10 05:11:03 +00:00
class Ppl < Formula
ppl 0.11.2
2011-03-11 20:50:46 +00:00
url 'http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11.2/ppl-0.11.2.tar.bz2'
The Parma Polyhedra Library The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
2010-01-07 14:27:15 +00:00
homepage 'http://www.cs.unipr.it/ppl/'
ppl 0.11.2
2011-03-11 20:50:46 +00:00
md5 'c24429e6c3bc97d45976a63f40f489a1'
The Parma Polyhedra Library The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
2010-01-07 14:27:15 +00:00
depends_on 'gmp'
def install
ppl - fix configure args
2010-06-05 01:57:28 +00:00
system "./configure", "--disable-debug", "--disable-dependency-tracking",
"--prefix=#{prefix}",
"--enable-optimization=sspeed"
The Parma Polyhedra Library The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
2010-01-07 14:27:15 +00:00
system "make install"
end
end