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