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

   1 { stdenv, lib, fetchFromGitHub, perl, ocaml, findlib, camlidl, gmp, mpfr }:
   2
   3 stdenv.mkDerivation rec {
   4   name = "ocaml${ocaml.version}-mlgmpidl-${version}";
   5   version = "1.2.12";
   6   src = fetchFromGitHub {
   7     owner = "nberth";
   8     repo = "mlgmpidl";
   9     rev = version;
  10     sha256 = "17xqiclaqs4hmnb92p9z6z9a1xfr31vcn8nlnj8ykk57by31vfza";
  11   };
  12
  13   buildInputs = [ perl gmp mpfr ocaml findlib camlidl ];
  14
  15   prefixKey = "-prefix ";
  16   configureFlags = [
  17     "--gmp-prefix ${gmp.dev}"
  18     "--mpfr-prefix ${mpfr.dev}"
  19   ];
  20
  21   postConfigure = ''
  22     sed -i Makefile \
  23       -e 's|^   /bin/rm |       rm |'
  24     mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib/stublibs
  25   '';
  26
  27
  28   meta = {
  29     description = "OCaml interface to the GMP library";
  30     homepage = "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/";
  31     license = lib.licenses.lgpl21;
  32     inherit (ocaml.meta) platforms;
  33     maintainers = [ lib.maintainers.vbgl ];
  34   };
  35 }