blob: ee578464641f7da16c99189ba4df84362a2517ed (
plain)
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
|
{
stdenv,
lib,
fetchFromGitHub,
perl,
ocaml,
findlib,
camlidl,
gmp,
mpfr,
bigarray-compat,
}:
stdenv.mkDerivation rec {
pname = "ocaml${ocaml.version}-mlgmpidl";
version = "1.3.0";
src = fetchFromGitHub {
owner = "nberth";
repo = "mlgmpidl";
rev = version;
hash = "sha256-ZmSDKZiHko8MCeIuZL53HjupfwO6PAm8QOCc9O3xJOk=";
};
nativeBuildInputs = [
perl
ocaml
findlib
camlidl
];
buildInputs = [
gmp
mpfr
];
propagatedBuildInputs = [ bigarray-compat ];
strictDeps = true;
prefixKey = "-prefix ";
postConfigure = ''
mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib/stublibs
'';
meta = {
description = "OCaml interface to the GMP library";
homepage = "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/";
license = lib.licenses.lgpl21;
inherit (ocaml.meta) platforms;
maintainers = [ lib.maintainers.vbgl ];
};
}
|
