rml: init at 1.09.07

This commit is contained in:
Weijia Wang
2022-11-25 18:02:39 +01:00
parent 59acc59808
commit 71eee85daa
2 changed files with 38 additions and 0 deletions
@@ -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 ];
};
}
+2
View File
@@ -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;
};