pkgs/development/compilers/gnatboot/default.nix

   1 { lib, stdenv, fetchurl }:
   2
   3 stdenv.mkDerivation {
   4   pname = "gentoo-gnatboot";
   5   version = "4.1";
   6
   7   src = if stdenv.system == "i686-linux" then
   8     fetchurl {
   9       url = mirror://gentoo/distfiles/gnatboot-4.1-i386.tar.bz2;
  10       sha256 = "0665zk71598204bf521vw68i5y6ccqarq9fcxsqp7ccgycb4lysr";
  11     }
  12   else if stdenv.system == "x86_64-linux" then
  13     fetchurl {
  14       url = mirror://gentoo/distfiles/gnatboot-4.1-amd64.tar.bz2;
  15       sha256 = "1li4d52lmbnfs6llcshlbqyik2q2q4bvpir0f7n38nagp0h6j0d4";
  16     }
  17   else
  18     throw "Platform not supported";
  19
  20   dontStrip = 1;
  21
  22   installPhase = ''
  23     mkdir -p $out
  24     cp -R * $out
  25
  26     set +e
  27     for a in $out/bin/* ; do
  28       patchelf --interpreter $(cat $NIX_CC/nix-support/dynamic-linker) \
  29         --set-rpath $(cat $NIX_CC/nix-support/orig-libc)/lib:$(cat $NIX_CC/nix-support/orig-cc)/lib64:$(cat $NIX_CC/nix-support/orig-cc)/lib $a
  30     done
  31     set -e
  32
  33     mv $out/bin/gnatgcc_2wrap $out/bin/gnatgcc
  34     ln -s $out/bin/gnatgcc $out/bin/gcc
  35   '';
  36
  37   passthru = {
  38     langC = true; # TRICK for gcc-wrapper to wrap it
  39     langCC = false;
  40     langFortran = false;
  41     langAda = true;
  42   };
  43
  44   meta = with lib; {
  45     homepage = "https://gentoo.org";
  46     license = licenses.gpl3Plus;
  47     maintainers = [ maintainers.lucus16 ];
  48
  49     platforms = platforms.linux;
  50   };
  51 }