xin/pkgs/ada_language_server.nix

81 lines
1.9 KiB
Nix
Raw Normal View History

{ lib, stdenv, fetchFromGitHub, pkgs, ... }:
let
libadalang = stdenv.mkDerivation rec {
pname = "libadalang";
version = "22.0.0";
src = fetchFromGitHub {
owner = "AdaCore";
repo = pname;
rev = "v${version}";
sha256 = "sha256-/nInRma0OKmI6E8nPvQlIYStl0kcPfAudvzbEyO5jJM=";
};
buildInputs = with pkgs; [
gnat12
gprbuild
python3
gnatcoll-core
gnatcoll-iconv
gnatcoll-gmp
];
makeFlags = [ "PREFIX=$(out)" ];
};
vss = stdenv.mkDerivation rec {
pname = "vss";
version = "22.0.0";
src = fetchFromGitHub {
owner = "AdaCore";
repo = pname;
rev = "v${version}";
sha256 = "sha256-IDPcIJfavlqMsxLOGrvXYv98FdYVWkCiimLcMFp3ees=";
};
buildInputs = with pkgs; [ gnat12 gprbuild ];
makeFlags = [ "PREFIX=$(out)" ];
};
gnatdoc = stdenv.mkDerivation rec {
pname = "gnatdoc";
version = "2022-10-04";
src = fetchFromGitHub {
owner = "AdaCore";
repo = pname;
rev = "7cdc2eae12199bc74b84d5677288fbbd55f98c25";
sha256 = "sha256-kA5yOd3NDkRl08o38F5CyeFrihBZktNF6di3PC+/ZLU=";
};
buildInputs = with pkgs; [ gnat12 gprbuild libadalang ];
makeFlags = [ "PREFIX=$(out)" ];
};
in stdenv.mkDerivation rec {
pname = "ada_language_server";
version = "23.0.10";
src = fetchFromGitHub {
owner = "AdaCore";
repo = pname;
rev = version;
sha256 = "sha256-ZUzym0aMjq14W9h/lDL5hVCF/i+1SFu6kccGqzmGO3E=";
};
buildInputs = with pkgs; [ gnat12 gprbuild python3 vss gnatdoc ];
meta = with lib; {
description = "Language server for Ada and SPARK";
longDescription = ''
Server implementing the Microsoft Language Protocol for Ada and SPARk
'';
homepage = "https://github.com/AdaCore/ada_language_server";
license = licenses.gpl3;
platforms = platforms.linux;
maintainers = with maintainers; [ qbit ];
};
}