> Same result (system.ads and rep*.adb were in gcc/, but even moving them > to $builddir and using -I. doesn't work). Same result == testcase passes. > > Maybe I have to rebuild gnat1 using that modified system.ads? Even
No, you don't need to do that, gnat1 reads system.ads at run time. Assuming you have done a make install, then under the directory where you've done the gnatchop and copy of system.ads, it should really be a trivial matter of: gcc -c <test case.adb> Nothing more nothing less. (You can then of course debug using gnat1 once you can reproduce with the above). Arno
