[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#695349: gnat-4.6: fails to build os lovelace



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)

Kernel: Linux 3.2.0-4-amd64 (SMP w/4 CPU cores)
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
Shell: /bin/sh linked to /bin/dash

Versions of packages gnat-4.6 depends on:
ii  gcc-4.6            4.6.3-13
ii  gnat-4.6-base      4.6.3-8
ii  libc6              2.13-37
ii  libc6-dev          2.13-37
ii  libgcc1            1:4.7.2-4
ii  libgmp10           2:5.0.5+dfsg-2
ii  libgnat-4.6        4.6.3-8
ii  libgnatprj4.6      4.6.3-8
ii  libgnatvsn4.6      4.6.3-8
ii  libmpc2            0.9-4
ii  libmpfr4           3.1.0-5
ii  multiarch-support  2.13-37
ii  zlib1g             1:1.2.7.dfsg-13

gnat-4.6 recommends no packages.

Versions of packages gnat-4.6 suggests:
pn  ada-reference-manual-html  <none>
pn  ada-reference-manual-info  <none>
pn  ada-reference-manual-pdf   <none>
pn  ada-reference-manual-text  <none>
pn  gnat-4.6-doc               <none>
pn  gnat-4.6-sjlj              <none>

-- no debconf information


Reply to: