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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
{
lib,
stdenv,
fetchurl,
gmp,
mpfr,
flint,
boost,
bliss,
ppl,
singular,
cddlib,
lrs,
nauty,
ninja,
ant,
openjdk,
mongoc,
perl,
perlPackages,
makeWrapper,
}:
# polymake compiles its own version of sympol and atint because we
# don't have those packages. other missing optional dependencies:
# javaview, libnormaliz, scip, soplex, jreality.
stdenv.mkDerivation (finalAttrs: {
pname = "polymake";
version = "4.15";
src = fetchurl {
# "The minimal version is a packager friendly version which omits
# the bundled sources of cdd, lrs, libnormaliz, nauty and jReality."
url = "https://polymake.org/lib/exe/fetch.php/download/polymake-${finalAttrs.version}-minimal.tar.bz2";
sha256 = "sha256-MOCo+JATz3qaRO2Q2y9pxJvxgQUGZMfmvbhhxhCxvbk=";
};
nativeBuildInputs = [
makeWrapper
ninja
ant
perl
];
buildInputs = [
perl
gmp
mpfr
flint
boost
bliss
ppl
singular
cddlib
lrs
nauty
openjdk
mongoc
]
++ (with perlPackages; [
JSON
TermReadLineGnu
TermReadKey
XMLSAX
]);
configureFlags = [
"--with-mongoc=${mongoc}"
];
ninjaFlags = [
"-C"
"build/Opt"
];
postInstall = ''
for i in "$out"/bin/*; do
wrapProgram "$i" --prefix PERL5LIB : "$PERL5LIB"
done
'';
meta = {
description = "Software for research in polyhedral geometry";
homepage = "https://www.polymake.org/doku.php";
changelog = "https://github.com/polymake/polymake/blob/V${finalAttrs.version}/ChangeLog";
license = lib.licenses.gpl2Plus;
teams = [ lib.teams.sage ];
platforms = lib.platforms.linux;
};
})
|
