diff options
author | Delta <d4delta@outlook.fr> | 2021-09-27 23:38:43 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-09-30 21:38:06 +0200 |
commit | 48eba3e35c10d11b709af420f96a346022a6fc55 (patch) | |
tree | a2eb8957d1ff8d673a24966eadfaa92dc4280a42 /pkgs/development/ocaml-modules/lustre-v6 | |
parent | 561bfd05817b0c418646ab1dab3501ec1e9f6446 (diff) |
ocamlPackages.lustre-v6: init at 6.103.3
Diffstat (limited to 'pkgs/development/ocaml-modules/lustre-v6')
-rw-r--r-- | pkgs/development/ocaml-modules/lustre-v6/default.nix | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/lustre-v6/default.nix b/pkgs/development/ocaml-modules/lustre-v6/default.nix new file mode 100644 index 0000000000000..34feaf85c3f38 --- /dev/null +++ b/pkgs/development/ocaml-modules/lustre-v6/default.nix @@ -0,0 +1,28 @@ +{ lib, buildDunePackage, fetchurl, ocaml_extlib, lutils, rdbg }: + +buildDunePackage rec { + pname = "lustre-v6"; + version = "6.103.3"; + + useDune2 = true; + + minimalOCamlVersion = "4.05"; + + src = fetchurl { + url = "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.6.103.3.tgz"; + sha512 = "8d452184ee68edda1b5a50717e6a5b13fb21f9204634fc5898280e27a1d79c97a6e7cc04424fc22f34cdd02ed3cc8774dca4f982faf342980b5f9fe0dc1a017d"; + }; + + propagatedBuildInputs = [ + ocaml_extlib + lutils + rdbg + ]; + + meta = with lib; { + homepage = "http://www-verimag.imag.fr/lustre-v6.html"; + description = "Lustre V6 compiler"; + license = lib.licenses.cecill21; + maintainers = [ lib.maintainers.delta ]; + }; +} |