Vladimír Čunát 1a0a161920 gnat: make it build again (close #5307) ... Problems are worked around by using older gcc wrapper for gnat bootstrap. (from ca441636f1^) I tried nicer solutions first, but I was unable to fix all problems for hours.		2014-12-14 16:24:31 +01:00
..
add-flags	gnat: make it build again (close #5307)	2014-12-14 16:24:31 +01:00
builder.sh	gnat: make it build again (close #5307)	2014-12-14 16:24:31 +01:00
default.nix	gnat: make it build again (close #5307)	2014-12-14 16:24:31 +01:00
gcc-wrapper-old.sh	gnat: make it build again (close #5307)	2014-12-14 16:24:31 +01:00
gcc-wrapper.sh	gnat: make it build again (close #5307)	2014-12-14 16:24:31 +01:00
gnat-wrapper.sh	gnat: make it build again (close #5307)	2014-12-14 16:24:31 +01:00
gnatlink-wrapper.sh	gnat: make it build again (close #5307)	2014-12-14 16:24:31 +01:00
ld-solaris-wrapper.sh	gnat: make it build again (close #5307)	2014-12-14 16:24:31 +01:00
ld-wrapper.sh	gnat: make it build again (close #5307)	2014-12-14 16:24:31 +01:00
setup-hook.sh	gnat: make it build again (close #5307)	2014-12-14 16:24:31 +01:00
utils.sh	gnat: make it build again (close #5307)	2014-12-14 16:24:31 +01:00