diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/fix/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/fix/default.nix | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/fix/default.nix b/pkgs/development/ocaml-modules/fix/default.nix new file mode 100644 index 00000000000..b0429e0e910 --- /dev/null +++ b/pkgs/development/ocaml-modules/fix/default.nix @@ -0,0 +1,25 @@ +{stdenv, fetchurl, ocaml, findlib}: + +assert stdenv.lib.versionAtLeast (stdenv.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 ]; + + createFindlibDestdir = true; + + meta = with stdenv.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; + }; +} |