1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
{
"name": "Ppl",
"description": "Parma Polyhedra Library: numerical abstractions for analysis, verification",
"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",
"homepage": "https://bugseng.com/ppl",
"depends": [
{
"depend": "gmp",
"build-depend": false
}
],
"resource": [],
"conflicts": [],
"patches": [
{
"url": "http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff_plain;h=c39f6a07b51f89e365b05ba4147aa2aa448febd7",
"strip": "1"
}
],
"install": [
"system \"./configure\", \"--disable-dependency-tracking\",",
"\"--disable-silent-rules\",",
"\"--with-gmp=#{Formula[\"gmp\"].opt_prefix}\",",
"\"--prefix=#{prefix}\"",
"system \"make\", \"install\""
],
"version": "1.2",
"file": "ppl.rb"
}
|
