pkgs/development/ocaml-modules/mlgmpidl/default.nix

   1 { stdenv, lib, fetchFromGitHub, perl, ocaml, findlib, camlidl, gmp, mpfr, bigarray-compat }:
   2
   3 stdenv.mkDerivation rec {
   4   pname = "ocaml${ocaml.version}-mlgmpidl";
   5   version = "1.3.0";
   6   src = fetchFromGitHub {
   7     owner = "nberth";
   8     repo = "mlgmpidl";
   9     rev = version;
  10     hash = "sha256-ZmSDKZiHko8MCeIuZL53HjupfwO6PAm8QOCc9O3xJOk=";
  11   };
  12
  13   nativeBuildInputs = [ perl ocaml findlib camlidl ];
  14   buildInputs = [ gmp mpfr ];
  15   propagatedBuildInputs = [ bigarray-compat ];
  16
  17   strictDeps = true;
  18
  19   prefixKey = "-prefix ";
  20
  21   postConfigure = ''
  22     mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib/stublibs
  23   '';
  24
  25   meta = {
  26     description = "OCaml interface to the GMP library";
  27     homepage = "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/";
  28     license = lib.licenses.lgpl21;
  29     inherit (ocaml.meta) platforms;
  30     maintainers = [ lib.maintainers.vbgl ];
  31   };
  32 }