Installing GNAT-GPL-2013 and ASIS-GNAT-2013 on Ubuntu

[Yuichi Goto <goto.yuichi@gmail.com>]

Hello, everybody.
I'd like to report about installing GNAT-GPL-2013 and ASIS-GNAT-2013 on Ubuntu and ask a question.

I put install log at following page:
http://www.aise.ics.saitama-u.ac.jp/~gotoh/GnatGpl2013WithASIS2013onUbuntuEn.html

Through the installation, I have a question that why some adb files at include/gnat_util in GNAT-GPL-2012 are reduced in GNAT-GPL-2013.

After installing ASIS-GNAT-2013, I tried to compile a sample program about ASIS described at "ASIS-for-GNAT User's Guide: 2.4 Building the Executable for an ASIS application" on http://docs.adacore.com/asis-docs/asis_ug_3.html#SEC13 . But, I can't do that.

The reasons are 1) some adb files at ./asis-gpl-2013-src/asis aren't copied to /usr/gnat/include/asis by installation process of ASIS-GNAT-2013; 2) some adb files don't exist at /usr/gnat/include/gnat_util while ads files exist there.

The adb files that should be at /usr/gnat/include/gnat_util are 
tree_in.adb, tree_io.adb, uname.adb, widechar.adb, debug.adb, fname.adb, gnatvsn.adb, krunch.adb, and stand.adb.

I copied the adb files from GNAT-GPL-2012 to /usr/gnat/include/gnat_util. 
And then, I could succeed to compile the sample file.

I'm a beginner of Ada language, and this is the first time to install GNAT.
So, I'm not sure wherther the method of installation is correcto or not.

Could you tell me whether my installation method is correct or not?
And could you tell me why those adb files are removed from GNAT-GPL-2013
if my method is correct?

Thanks 
Yuichi Goto