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