Adds ocaml-functory
Functory is a distributed computing library for Objective Caml which facilitates distributed execution of parallelizable computations in a seamless fashion. Further, it is polymorphic, incorporates a robust fault-tolerant mechanism and is already being deployed in real-world applications. Homepage: https://www.lri.fr/~filliatr/functory/
This commit is contained in:
parent
ed72590004
commit
cc387fa886
26
pkgs/development/ocaml-modules/functory/default.nix
Normal file
26
pkgs/development/ocaml-modules/functory/default.nix
Normal file
@ -0,0 +1,26 @@
|
|||||||
|
{stdenv, fetchurl, ocaml, findlib}:
|
||||||
|
|
||||||
|
stdenv.mkDerivation {
|
||||||
|
|
||||||
|
name = "ocaml-functory-0.5";
|
||||||
|
|
||||||
|
src = fetchurl {
|
||||||
|
url = https://www.lri.fr/~filliatr/functory/download/functory-0.5.tar.gz;
|
||||||
|
sha256 = "1j17rhifdjv1z262dma148ywg34x0zjn8vczdrnkwajsm4qg1hw3";
|
||||||
|
};
|
||||||
|
|
||||||
|
buildInputs = [ ocaml findlib ];
|
||||||
|
|
||||||
|
installTargets = "ocamlfind-install";
|
||||||
|
|
||||||
|
createFindlibDestdir = true;
|
||||||
|
|
||||||
|
meta = with stdenv.lib; {
|
||||||
|
homepage = https://www.lri.fr/~filliatr/functory/;
|
||||||
|
description = "A distributed computing library for Objective Caml which facilitates distributed execution of parallelizable computations in a seamless fashion";
|
||||||
|
license = licenses.lgpl21;
|
||||||
|
platforms = ocaml.meta.platforms;
|
||||||
|
};
|
||||||
|
}
|
||||||
|
|
||||||
|
|
@ -3342,6 +3342,8 @@ let
|
|||||||
|
|
||||||
fix = callPackage ../development/ocaml-modules/fix { };
|
fix = callPackage ../development/ocaml-modules/fix { };
|
||||||
|
|
||||||
|
functory = callPackage ../development/ocaml-modules/functory { };
|
||||||
|
|
||||||
javalib = callPackage ../development/ocaml-modules/javalib {
|
javalib = callPackage ../development/ocaml-modules/javalib {
|
||||||
extlib = ocaml_extlib_maximal;
|
extlib = ocaml_extlib_maximal;
|
||||||
};
|
};
|
||||||
|
Loading…
x
Reference in New Issue
Block a user