diff options
Diffstat (limited to 'pkgs/development/libraries/ada/xmlada/default.nix')
-rw-r--r-- | pkgs/development/libraries/ada/xmlada/default.nix | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/pkgs/development/libraries/ada/xmlada/default.nix b/pkgs/development/libraries/ada/xmlada/default.nix deleted file mode 100644 index 77e8094277a7..000000000000 --- a/pkgs/development/libraries/ada/xmlada/default.nix +++ /dev/null @@ -1,35 +0,0 @@ -{ stdenv -, lib -, fetchFromGitHub -, gnat -# use gprbuild-boot since gprbuild proper depends -# on this xmlada derivation. -, gprbuild-boot -}: - -stdenv.mkDerivation rec { - pname = "xmlada"; - version = "24.0.0"; - - src = fetchFromGitHub { - name = "xmlada-${version}-src"; - owner = "AdaCore"; - repo = "xmlada"; - rev = "v${version}"; - sha256 = "sha256-vvM7bdf3dAa3zKgxbGeAGlBT6fvafzmleimJHyRdlvc="; - }; - - nativeBuildInputs = [ - gnat - gprbuild-boot - ]; - - meta = with lib; { - description = "XML/Ada: An XML parser for Ada"; - homepage = "https://github.com/AdaCore/xmlada"; - maintainers = [ maintainers.sternenseemann ]; - license = licenses.gpl3Plus; - platforms = platforms.all; - }; -} - |