2015-06-22 22:23:41 +00:00
|
|
|
class Ppl < Formula
|
|
|
|
|
desc "Parma Polyhedra Library: numerical abstractions for analysis, verification"
|
|
|
|
|
homepage "http://bugseng.com/products/ppl"
|
|
|
|
|
url "http://bugseng.com/products/ppl/download/ftp/releases/1.1/ppl-1.1.tar.xz"
|
|
|
|
|
sha256 "c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178"
|
|
|
|
|
|
2015-06-23 08:25:34 +00:00
|
|
|
bottle do
|
|
|
|
|
sha256 "227619b5fff1b893d8ba6fde9d7026107e077ff70c7ef4f7c51f1599b45774f1" => :yosemite
|
|
|
|
|
sha256 "1f8cdd6f99a760ec80cdc8277ea1627ee7a170c29980369e9daacdc986b2d852" => :mavericks
|
|
|
|
|
sha256 "ed01b3815b6fc79b003b366604564e74599875c7bf295bb182cfc72359389caa" => :mountain_lion
|
|
|
|
|
end
|
|
|
|
|
|
2015-06-22 22:23:41 +00:00
|
|
|
depends_on "gmp"
|
|
|
|
|
|
|
|
|
|
def install
|
|
|
|
|
system "./configure", "--disable-debug",
|
|
|
|
|
"--disable-dependency-tracking",
|
|
|
|
|
"--disable-silent-rules",
|
|
|
|
|
"--prefix=#{prefix}"
|
|
|
|
|
system "make", "install"
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
test do
|
|
|
|
|
(testpath/"test.c").write <<-EOS.undent
|
|
|
|
|
#include <ppl_c.h>
|
|
|
|
|
#ifndef PPL_VERSION_MAJOR
|
|
|
|
|
#error "No PPL header"
|
|
|
|
|
#endif
|
|
|
|
|
int main() {
|
|
|
|
|
ppl_initialize();
|
|
|
|
|
return ppl_finalize();
|
|
|
|
|
}
|
|
|
|
|
EOS
|
|
|
|
|
system ENV.cc, "test.c", "-L#{lib}", "-lppl_c", "-lppl", "-o", "test"
|
|
|
|
|
system "./test"
|
|
|
|
|
end
|
|
|
|
|
end
|
