Package: gnat-4.6
Version: 4.6.3-8
Severity: normal
Dear Maintainer,
Compiling org.os-lovelace.micro-kernel branch (monotone repository
hosted @ www.ada-france.org),
revision 0295b8f9752c0ddb2975b561f2b96c60b9b2c535
with gnat-4.4 is ok
when switching to gnat-4.6 compilation aborts with this message :
gcc-4.6 -c -O2 -gnaty -gnatf -gnatL -nostdinc -nostdlib -gnat05
-gnatwae -gnato -m32 -I- -gnatA
/home/xavier/lovelace/org.os-lovelace.micro-kernel/src/modules/module_fct1.adb
fatal error, run-time library not installed correctly
cannot locate file system.ads
compilation abandoned
gnatmake:
"/home/xavier/lovelace/org.os-lovelace.micro-kernel/src/modules/module_fct1.adb"
compilation error
In order to produce this problem one needs to do (in the workspace
top directory) :
make x86_32_config
make GCC=gcc-4.6
The file system.ads is available in directory src/common/runtime
which is listed in common.gpr project file.
Thanks ins advance, xavier
-- System Information:
Debian Release: wheezy/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)