diff options
Diffstat (limited to 'pkgs/development/compilers/rml/default.nix')
-rw-r--r-- | pkgs/development/compilers/rml/default.nix | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/pkgs/development/compilers/rml/default.nix b/pkgs/development/compilers/rml/default.nix deleted file mode 100644 index b2870cfb93d3..000000000000 --- a/pkgs/development/compilers/rml/default.nix +++ /dev/null @@ -1,36 +0,0 @@ -{ lib -, stdenv -, fetchFromGitHub -, ocamlPackages -}: - -stdenv.mkDerivation rec { - pname = "rml"; - version = "1.09.07"; - - src = fetchFromGitHub { - owner = "reactiveml"; - repo = pname; - rev = "${pname}-${version}-2021-07-26"; - hash = "sha256-UFqXQBeIQMSV4O439j9s06p1hh7xA98Tu79FsjK9PIY="; - }; - - strictDeps = true; - - nativeBuildInputs = with ocamlPackages; [ - ocaml - ]; - - buildInputs = with ocamlPackages; [ - num - ]; - - prefixKey = "-prefix "; - - meta = with lib; { - description = "ReactiveML: a programming language for implementing interactive systems"; - homepage = "https://rml.lri.fr"; - license = with licenses; [ qpl lgpl21Plus ]; - maintainers = with maintainers; [ wegank ]; - }; -} |