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" bottle do sha256 "227619b5fff1b893d8ba6fde9d7026107e077ff70c7ef4f7c51f1599b45774f1" => :yosemite sha256 "1f8cdd6f99a760ec80cdc8277ea1627ee7a170c29980369e9daacdc986b2d852" => :mavericks sha256 "ed01b3815b6fc79b003b366604564e74599875c7bf295bb182cfc72359389caa" => :mountain_lion end 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