Skip to content

Commit

Permalink
ppl 1.1 (new formula)
Browse files Browse the repository at this point in the history
Closes Homebrew#40986.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
  • Loading branch information
Francois Berenger authored and woodruffw committed Jun 23, 2015
1 parent 354cfbc commit 8169885
Showing 1 changed file with 31 additions and 0 deletions.
31 changes: 31 additions & 0 deletions Library/Formula/ppl.rb
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
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"

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

0 comments on commit 8169885

Please sign in to comment.