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
31
32
33
34
35
36
37
38
39
|
{
"name": "Ibex",
"description": "C++ library for constraint processing over real numbers",
"url": "https://github.com/ibex-team/ibex-lib/archive/ibex-2.8.0.tar.gz",
"mirror": null,
"homepage": "http://www.ibex-lib.org/",
"depends": [
{
"depend": "bison",
"build-depend": true
},
{
"depend": "flex",
"build-depend": true
},
{
"depend": "pkg-config",
"build-depend": false
}
],
"resource": [],
"conflicts": [],
"patches": [],
"install": [
"ENV.cxx11",
"ENV.deparallelize",
"system \"./waf\", \"configure\", \"--prefix=#{prefix}\",",
"\"--enable-shared\",",
"\"--lp-lib=soplex\",",
"\"--with-optim\"",
"system \"./waf\", \"install\"",
"pkgshare.install %w[examples plugins/solver/benchs]",
"(pkgshare/\"examples/symb01.txt\").write <<~EOS",
"function f(x)",
"return ((2*x,-x);(-x,3*x));"
],
"version": "2.8.0",
"file": "ibex.rb"
}
|
