tjh.dev
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
10stdenv.mkDerivation rec {
11 pname = "xmlada";
12 version = "24.0.0";
13
14 src = fetchFromGitHub {
15 name = "xmlada-${version}-src";
16 owner = "AdaCore";
17 repo = "xmlada";
18 rev = "v${version}";
19 sha256 = "sha256-vvM7bdf3dAa3zKgxbGeAGlBT6fvafzmleimJHyRdlvc=";
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