pkgs/development/libraries/ada/gnatcoll/core.nix

   1 { stdenv
   2 , lib
   3 , gnat
   4 , gprbuild
   5 , fetchFromGitHub
   6 , xmlada
   7 , which
   8 }:
   9
  10 stdenv.mkDerivation rec {
  11   pname = "gnatcoll-core";
  12   version = "22.0.0";
  13
  14   src = fetchFromGitHub {
  15     owner = "AdaCore";
  16     repo = "gnatcoll-core";
  17     rev = "v${version}";
  18     sha256 = "0fn28dp6bgpp1sshr09m1x85g2gx11xqkiy410hiicfyg5hamh1l";
  19   };
  20
  21   nativeBuildInputs = [
  22     gprbuild
  23     which
  24     gnat
  25   ];
  26
  27   # propagate since gprbuild needs to find
  28   # referenced GPR project definitions
  29   propagatedBuildInputs = [
  30     gprbuild # libgpr
  31   ];
  32
  33   makeFlags = [
  34     "prefix=${placeholder "out"}"
  35     "PROCESSORS=$(NIX_BUILD_CORES)"
  36     # confusingly, for gprbuild --target is autoconf --host
  37     "TARGET=${stdenv.hostPlatform.config}"
  38   ];
  39
  40   meta = with lib; {
  41     homepage = "https://github.com/AdaCore/gnatcoll-core";
  42     description = "GNAT Components Collection - Core packages";
  43     license = licenses.gpl3Plus;
  44     maintainers = [ maintainers.sternenseemann ];
  45     platforms = platforms.all;
  46   };
  47 }