ocamlPackages.lustre-v6: 6.103.3 -> 6.107.1
This commit is contained in:
parent
f9920fe857
commit
062b7f42fd
|
@ -1,29 +1,28 @@
|
||||||
{ lib, buildDunePackage, fetchurl, extlib, lutils, rdbg }:
|
{ lib, buildDunePackage, fetchurl, extlib, lutils, rdbg, yaml }:
|
||||||
|
|
||||||
buildDunePackage rec {
|
buildDunePackage rec {
|
||||||
pname = "lustre-v6";
|
pname = "lustre-v6";
|
||||||
version = "6.103.3";
|
version = "6.107.1";
|
||||||
|
|
||||||
useDune2 = true;
|
minimalOCamlVersion = "4.12";
|
||||||
|
|
||||||
minimalOCamlVersion = "4.05";
|
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.6.103.3.tgz";
|
url = "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.v${version}.tgz";
|
||||||
sha512 = "8d452184ee68edda1b5a50717e6a5b13fb21f9204634fc5898280e27a1d79c97a6e7cc04424fc22f34cdd02ed3cc8774dca4f982faf342980b5f9fe0dc1a017d";
|
hash = "sha256-+OqDwUIiPrtJy1C3DmDNTrtsT8clKKcNWCev4TEMRBc=";
|
||||||
};
|
};
|
||||||
|
|
||||||
propagatedBuildInputs = [
|
propagatedBuildInputs = [
|
||||||
extlib
|
extlib
|
||||||
lutils
|
lutils
|
||||||
rdbg
|
rdbg
|
||||||
|
yaml
|
||||||
];
|
];
|
||||||
|
|
||||||
meta = with lib; {
|
meta = with lib; {
|
||||||
description = "Lustre V6 compiler";
|
description = "Lustre V6 compiler";
|
||||||
homepage = "https://www-verimag.imag.fr/lustre-v6.html";
|
homepage = "https://www-verimag.imag.fr/lustre-v6.html";
|
||||||
license = lib.licenses.cecill21;
|
license = licenses.cecill21;
|
||||||
maintainers = [ lib.maintainers.delta ];
|
maintainers = with maintainers; [ delta wegank ];
|
||||||
mainProgram = "lv6";
|
mainProgram = "lv6";
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue