diff options
author | Alyssa Ross <hi@alyssa.is> | 2023-11-21 16:12:21 +0100 |
---|---|---|
committer | Alyssa Ross <hi@alyssa.is> | 2023-11-21 16:12:48 +0100 |
commit | 048a4cd441a59cbf89defb18bb45c9f0b4429b35 (patch) | |
tree | f8f5850ff05521ab82d65745894714a8796cbfb6 /pkgs/development/ocaml-modules/asai | |
parent | 030c5028b07afcedce7c5956015c629486cc79d9 (diff) | |
parent | 4c2d05dd6435d449a3651a6dd314d9411b5f8146 (diff) | |
download | nixpkgs-rootfs.tar nixpkgs-rootfs.tar.gz nixpkgs-rootfs.tar.bz2 nixpkgs-rootfs.tar.lz nixpkgs-rootfs.tar.xz nixpkgs-rootfs.tar.zst nixpkgs-rootfs.zip |
Signed-off-by: Alyssa Ross <hi@alyssa.is>
Diffstat (limited to 'pkgs/development/ocaml-modules/asai')
-rw-r--r-- | pkgs/development/ocaml-modules/asai/default.nix | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/asai/default.nix b/pkgs/development/ocaml-modules/asai/default.nix new file mode 100644 index 00000000000..b089eba7687 --- /dev/null +++ b/pkgs/development/ocaml-modules/asai/default.nix @@ -0,0 +1,35 @@ +{ lib, fetchFromGitHub, buildDunePackage +, algaeff +, bwd +, eio +, eio_main +, lsp +, notty +}: + +buildDunePackage rec { + pname = "asai"; + version = "0.1.1"; + src = fetchFromGitHub { + owner = "RedPRL"; + repo = pname; + rev = version; + hash = "sha256-Jd90WhSjK4K2amFA5uyGF57NzsgHA8QiccX6qtxO1rQ="; + }; + + propagatedBuildInputs = [ + algaeff + bwd + lsp + eio + eio_main + notty + ]; + + meta = { + description = "A library for constructing and printing compiler diagnostics"; + homepage = "https://redprl.org/asai/asai/"; + license = lib.licenses.asl20; + maintainers = [ lib.maintainers.vbgl ]; + }; +} |