nixpkgs/pkgs/development/ocaml-modules/fix/default.nix


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

{ lib, stdenv, fetchurl, ocaml, findlib, ocamlbuild }:

assert lib.versionAtLeast (lib.getVersion ocaml) "3.12";

stdenv.mkDerivation {

  name = "ocaml-fix-20130611";

  src = fetchurl {
    url = "http://gallium.inria.fr/~fpottier/fix/fix-20130611.tar.gz";
    sha256 = "1phlqcs1nb93x9cf0w0hnq2ck4dmn71zm4mxf60w96vb9yb9qzp0";
  };

  buildInputs = [ ocaml findlib ocamlbuild ];

  createFindlibDestdir = true;

  meta = with lib; {
    homepage = "http://gallium.inria.fr/~fpottier/fix/";
    description = "A simple OCaml module for computing the least solution of a system of monotone equations";
    license = licenses.cecill-c;
    maintainers = [ maintainers.vbgl ];
    platforms = ocaml.meta.platforms or [];
  };
}