nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 00:12:56 +00:00
Code Issues Packages Projects Releases Wiki Activity

gnatPackages.gpr2: init at 24.0.0

Browse Source 
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
This commit is contained in:
Thomas Heijligen 2024-05-22 17:38:39 +00:00 committed by sternenseemann
parent 1c172a98ea
commit 066b51bf34
2 changed files with 55 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

53
pkgs/development/ada-modules/gpr2/default.nix Normal file
View File

@ -0,0 +1,53 @@
{
lib,
stdenv,
fetchurl,
gprbuild,
which,
gnat,
gnatcoll-core,
gnatcoll-iconv,
gnatcoll-gmp,
enableShared ? !stdenv.hostPlatform.isStatic,
}:
stdenv.mkDerivation rec {
pname = "gpr2";
version = "24.0.0";
src = fetchurl {
url = "https://github.com/AdaCore/gpr/releases/download/v${version}/gpr2-with-lkparser-${lib.versions.majorMinor version}.tgz";
sha256 = "1g90689k94q3ma7q76gnjipfblgfvcq6ldwbzcf0l5hx6n8vbly8";
};
nativeBuildInputs = [
which
gnat
gprbuild
];
makeFlags = [
"prefix=$(out)"
"GPR2KBDIR=${gprbuild}/share/gprconfig"
"PROCESSORS=$(NIX_BUILD_CORES)"
"ENABLE_SHARED=${if enableShared then "yes" else "no"}"
];
propagatedBuildInputs = [
gprbuild
gnatcoll-gmp
gnatcoll-core
gnatcoll-iconv
];
meta = with lib; {
description = "The framework for analyzing the GNAT Project (GPR) files";
homepage = "https://github.com/AdaCore/gpr";
license = with licenses; [
asl20
gpl3Only
];
maintainers = with maintainers; [ heijligen ];
platforms = platforms.all;
};
}

2
pkgs/top-level/ada-packages.nix
View File

@ -12,6 +12,8 @@ makeScopeWithSplicing' {
f = (self: {
inherit gnat;
gpr2 = self.callPackage ../development/ada-modules/gpr2 { };
gprbuild-boot = self.callPackage ../development/ada-modules/gprbuild/boot.nix { };
gprbuild = self.callPackage ../development/ada-modules/gprbuild { };