Author: shlevy
Date: Thu Mar 31 22:20:11 2011
New Revision: 26645
URL: https://svn.nixos.org/websvn/nix/?rev=26645&sc=1
Log:
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.
Modified:
nixpkgs/trunk/pkgs/top-level/all-packages.nix
Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix
==============================================================================
--- nixpkgs/trunk/pkgs/top-level/all-packages.nix Thu Mar 31 22:10:26
2011 (r26644)
+++ nixpkgs/trunk/pkgs/top-level/all-packages.nix Thu Mar 31 22:20:11
2011 (r26645)
@@ -1900,6 +1900,20 @@
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;
});
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
