pyrox.dev
1{
2 lib,
3 buildDunePackage,
4 fetchurl,
5 extlib,
6 lutils,
7 rdbg,
8 yaml,
9}:
10
11buildDunePackage rec {
12 pname = "lustre-v6";
13 version = "6.107.4";
14
15 minimalOCamlVersion = "4.12";
16
17 src = fetchurl {
18 url = "https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.v${version}.tgz";
19 hash = "sha256-baT5ZJtg5oFoJ5eHb3ISsmY6G31UG10KlNXC+ta+M1c=";
20 };
21
22 propagatedBuildInputs = [
23 extlib
24 lutils
25 rdbg
26 yaml
27 ];
28
29 meta = with lib; {
30 description = "Lustre V6 compiler";
31 homepage = "https://www-verimag.imag.fr/lustre-v6.html";
32 license = licenses.cecill21;
33 maintainers = with maintainers; [
34 delta
35 wegank
36 ];
37 mainProgram = "lv6";
38 };
39}