[LLVMdev] ACATS

Bob Duff duff at adacore.com
Wed Aug 5 10:55:29 PDT 2009


Here's an example of running an ACATS test by hand, using GNAT Pro.
/home/duff/support is a directory in which I have placed
report.ads and report.adb (the Report package).

% gnatchop c23001a.ada
splitting c23001a.ada into:
   c23001a.adb
% gnatmake -I/home/duff/support c23001a.adb
gcc -c -I/home/duff/support c23001a.adb
gcc -c -I./ -I/home/duff/support -I- /home/duff/support/report.adb
gnatbind -I/home/duff/support -x c23001a.ali
gnatlink c23001a.ali
% ./c23001a
     C23001A UPPER/LOWER CASE EQUIVALENCE IN IDENTIFIERS.
==== C23001A PASSED ============================.
% 

- Bob



More information about the llvm-dev mailing list