And to clarify:
$ make -C gnattools/ gnattools-cross
make: Entering directory
`/home/laguest/src/mine/tinyada-new/build/arm-none-eabi/gcc2-built-with-git-ro/gnattools'
# gnattools1-re
make -C ../gcc/ada/tools -f ../Makefile \
"CC=cc" "CXX=g++" "CFLAGS=-g -W -Wall" "LDFLAGS=" "ADAFLAGS=-gnatpg
-gnata" "ADA_CFLAGS=" "INCLUDES=-I. -I.. -I../..
-I/home/laguest/src/mine/tinyada-new/source/gcc-git-ro/gcc/ada
-I/home/laguest/src/mine/tinyada-new/source/gcc-git-ro/gcc/config
-I/home/laguest/src/mine/tinyada-new/source/gcc-git-ro/gcc/../include
-I/home/laguest/src/mine/tinyada-new/source/gcc-git-ro/gcc"
"ADA_INCLUDES=-I/home/laguest/opt/tinyada/lib/gcc/x86_64-unknown-linux-gnu/4.9.0/adalib/../adainclude
-I/home/laguest/opt/tinyada/lib/gcc/x86_64-unknown-linux-gnu/4.9.0/adalib/ -I.
-I/home/laguest/src/mine/tinyada-new/source/gcc-git-ro/gcc/ada" "exeext="
"fsrcdir=/home/laguest/src/mine/tinyada-new/source/gcc-git-ro/gcc"
"srcdir=/home/laguest/src/mine/tinyada-new/source/gcc-git-ro/gcc"
"GNATMAKE=gnatmake" "GNATLINK=gnatlink" "GNATBIND=gnatbind" "TOOLSCASE=cross"
"LIBGNAT=" INCLUDES="" \
gnatmake-re gnatlink-re
make: Entering an unknown directory
make: *** ../gcc/ada/tools: No such file or directory. Stop.
make: Leaving an unknown directory
make: *** [gnattools-cross] Error 2
make: Leaving directory
`/home/laguest/src/mine/tinyada-new/build/arm-none-eabi/gcc2-built-with-git-ro/gnattools'
Also fails.
Luke.
