41 lines
1.5 KiB
Ruby
41 lines
1.5 KiB
Ruby
class Ppl < Formula
|
|
desc "Parma Polyhedra Library: numerical abstractions for analysis, verification"
|
|
homepage "https://bugseng.com/ppl"
|
|
url "https://mirrors.ocf.berkeley.edu/debian/pool/main/p/ppl/ppl_1.2.orig.tar.xz"
|
|
mirror "https://mirrorservice.org/sites/ftp.debian.org/debian/pool/main/p/ppl/ppl_1.2.orig.tar.xz"
|
|
sha256 "691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60"
|
|
|
|
bottle do
|
|
sha256 "e7f36d463f0324f5a7f951b09ba0a0916b65a16d5155ced9bcccbf3349536754" => :high_sierra
|
|
sha256 "925201fe3772b8dc994c8edc742fe6925426a534a62f8d706c94ba8a859eacf7" => :sierra
|
|
sha256 "34a1396fefc946754958e92d7ecffde0175b33f16f4545f46a00d4f63408cfd8" => :el_capitan
|
|
sha256 "83c3f03aa0766155e98e322409f6d4389bfee3ec510848c7eab1c91329d5fa82" => :yosemite
|
|
sha256 "d174ac172a3c986dfa92fe650354ce6b614d080f5ab497c90fc9b6395faf5caf" => :mavericks
|
|
end
|
|
|
|
depends_on "gmp"
|
|
|
|
def install
|
|
system "./configure", "--disable-debug",
|
|
"--disable-dependency-tracking",
|
|
"--disable-silent-rules",
|
|
"--with-gmp=#{Formula["gmp"].opt_prefix}",
|
|
"--prefix=#{prefix}"
|
|
system "make", "install"
|
|
end
|
|
|
|
test do
|
|
(testpath/"test.c").write <<~EOS
|
|
#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
|