summaryrefslogtreecommitdiff
path: root/pkgs/development/compilers/rml/default.nix
blob: a240286ff31d1afcaaf530b0e743f18df8de3c94 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
{
  lib,
  stdenv,
  fetchFromGitHub,
  ocamlPackages,
}:

stdenv.mkDerivation rec {
  pname = "rml";
  version = "1.09.07";

  src = fetchFromGitHub {
    owner = "reactiveml";
    repo = "rml";
    rev = "rml-${version}-2021-07-26";
    hash = "sha256-UFqXQBeIQMSV4O439j9s06p1hh7xA98Tu79FsjK9PIY=";
  };

  strictDeps = true;

  nativeBuildInputs = with ocamlPackages; [
    ocaml
  ];

  buildInputs = with ocamlPackages; [
    num
  ];

  prefixKey = "-prefix ";

  meta = {
    description = "ReactiveML: a programming language for implementing interactive systems";
    homepage = "https://rml.lri.fr";
    license = with lib.licenses; [
      qpl
      lgpl21Plus
    ];
    maintainers = with lib.maintainers; [ wegank ];
  };
}