diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2022-11-25 18:02:39 +0100 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2022-11-25 18:02:39 +0100 |
commit | 71eee85daa5b6743d55a1a9f96a0f1064fa666f7 (patch) | |
tree | 81f9f3a492d1c8ff58b4d0d45bd3c43bd8dd647a /pkgs/development/compilers/rml | |
parent | 59acc59808dffdf2d7dbc3097b4d41036be26ad5 (diff) | |
download | nixpkgs-71eee85daa5b6743d55a1a9f96a0f1064fa666f7.tar nixpkgs-71eee85daa5b6743d55a1a9f96a0f1064fa666f7.tar.gz nixpkgs-71eee85daa5b6743d55a1a9f96a0f1064fa666f7.tar.bz2 nixpkgs-71eee85daa5b6743d55a1a9f96a0f1064fa666f7.tar.lz nixpkgs-71eee85daa5b6743d55a1a9f96a0f1064fa666f7.tar.xz nixpkgs-71eee85daa5b6743d55a1a9f96a0f1064fa666f7.tar.zst nixpkgs-71eee85daa5b6743d55a1a9f96a0f1064fa666f7.zip |
rml: init at 1.09.07
Diffstat (limited to 'pkgs/development/compilers/rml')
-rw-r--r-- | pkgs/development/compilers/rml/default.nix | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/pkgs/development/compilers/rml/default.nix b/pkgs/development/compilers/rml/default.nix new file mode 100644 index 00000000000..7eebf8a622b --- /dev/null +++ b/pkgs/development/compilers/rml/default.nix @@ -0,0 +1,36 @@ +{ 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="; + }; + + nativeBuildInputs = with ocamlPackages; [ + ocaml + ]; + + buildInputs = with ocamlPackages; [ + num + ]; + + configureFlags = [ "--prefix" "${placeholder "out"}" ]; + + dontAddPrefix = true; + + 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 ]; + }; +} |