pkgs/development/ada-modules/xmlada/default.nix

   1 { stdenv
   2 , lib
   3 , fetchFromGitHub
   4 , gnat
   5 # use gprbuild-boot since gprbuild proper depends
   6 # on this xmlada derivation.
   7 , gprbuild-boot
   8 }:
   9
  10 stdenv.mkDerivation rec {
  11   pname = "xmlada";
  12   version = "25.0.0";
  13
  14   src = fetchFromGitHub {
  15     name = "xmlada-${version}-src";
  16     owner = "AdaCore";
  17     repo = "xmlada";
  18     rev = "v${version}";
  19     sha256 = "sha256-UMJiXSHMS8+X5gyV1nmC29gF71BFnz7LNPQnwUMD3Yg=";
  20   };
  21
  22   nativeBuildInputs = [
  23     gnat
  24     gprbuild-boot
  25   ];
  26
  27   meta = with lib; {
  28     description = "XML/Ada: An XML parser for Ada";
  29     homepage = "https://github.com/AdaCore/xmlada";
  30     maintainers = [ maintainers.sternenseemann ];
  31     license = licenses.gpl3Plus;
  32     platforms = platforms.all;
  33   };
  34 }
  35