diff --git a/pkgs/development/compilers/rml/default.nix b/pkgs/development/compilers/rml/default.nix new file mode 100644 index 000000000000..7eebf8a622b4 --- /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 ]; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index aa0c6b4c803a..bc27df262198 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -14928,6 +14928,8 @@ with pkgs; rgbds = callPackage ../development/compilers/rgbds { }; + rml = callPackage ../development/compilers/rml { }; + composable_kernel = callPackage ../development/libraries/composable_kernel { inherit (llvmPackages) openmp; };