public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Adds ocaml-fix

Browse Source 
Fix is a simple OCaml module for computing the least solution of a system of monotone equations.

Homepage: http://gallium.inria.fr/~fpottier/fix/
This commit is contained in:
Vincent Laporte 2014-09-12 09:40:09 +02:00
parent d45fc25035
commit 2f0994010a
2 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
pkgs/development/ocaml-modules/fix/default.nix Normal file
View File

@ -0,0 +1,23 @@
{stdenv, fetchurl, ocaml, findlib}:
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;
platforms = ocaml.meta.platforms;
};
}

2
pkgs/top-level/all-packages.nix
View File

@ -3340,6 +3340,8 @@ let
findlib = callPackage ../development/tools/ocaml/findlib { }; findlib = callPackage ../development/tools/ocaml/findlib { };
fix = callPackage ../development/ocaml-modules/fix { };
javalib = callPackage ../development/ocaml-modules/javalib { javalib = callPackage ../development/ocaml-modules/javalib {
extlib = ocaml_extlib_maximal; extlib = ocaml_extlib_maximal;
}; };