mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-09-11 15:08:33 +01:00
Code Issues Wiki Activity

Add gnat46. Note that, contrary to my notes when I emailed this patch, this builds now: we use gnat45 as an Ada bootstrap in place of gnatboot. This is not a long-term solution, but it works for now.

Browse source 
svn path=/nixpkgs/trunk/; revision=26645
This commit is contained in:
Shea Levy 2011-03-31 22:20:11 +00:00
parent c2f72840ed
commit 7c1b06b3bd
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
pkgs/top-level/all-packages.nix
View file

@ -1900,6 +1900,20 @@ let
ppl = null;
});
gnat46 = wrapGCC (gcc46_real.gcc.override {
name = "gnat";
langCC = false;
langC = true;
langAda = true;
profiledCompiler = false;
gnatboot = gnat45;
# We can't use the ppl stuff, because we would have
# libstdc++ problems.
cloogppl = null;
ppl = null;
cloog = null;
});
gnatboot = wrapGCC (import ../development/compilers/gnatboot {
inherit fetchurl stdenv;
});