Does "make check" work for Ada without "make install"?

[Arnaud Charlet]

To answer the subject line: yes, it does.

> Why can't gcc find system.ads?

You probably forgot to do a make -C gnatlib_and_tools

Arno