http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59853
Bug ID: 59853
Summary: gnatmake cannot build a library
Product: gcc
Version: 4.8.2
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: sylvain.laperche at gmail dot com
Created attachment 31863
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31863&action=edit
hello.adb and hello.ads as input for gnatchop
When I try to build a library using gnatmake with a .gpr file, I always ends
with the following error:
> End of compilation
> Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE
> Message: namet.adb:655
>
> gnatmake: INTERNAL ERROR. Please report
Additionnal information:
# gcc -v
Utilisation des specs internes.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.2/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configuré avec: /build/gcc-multilib/src/gcc-4.8-20131219/configure
--prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man
--infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/
--enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared
--enable-threads=posix --with-system-zlib --enable-__cxa_atexit
--disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch
--disable-libssp --enable-gnu-unique-object --enable-linker-build-id
--enable-cloog-backend=isl --disable-cloog-version-check --enable-lto
--enable-plugin --enable-install-libiberty --with-linker-hash-style=gnu
--enable-multilib --disable-werror --enable-checking=release
Modèle de thread: posix
gcc version 4.8.2 20131219 (prerelease) (GCC)
System type: Archlinux x86_64
Options when GCC was configured/built: See gcc -v
# Command line
% gnatmake -v -Phello
Parsing project file "hello".
8 lines: No errors
Parsing of project file "hello" is finished.
Adding source directory
"/home/grim7reaper/Documents/Developpements/Ada/simple_lib/src/".
Adding object directory
"/home/grim7reaper/Documents/Developpements/Ada/simple_lib/obj/".
Adding "hello.adb" as if on the command line
GNATMAKE 4.8.2 20131219 (prerelease)
Copyright (C) 1995-2013, Free Software Foundation, Inc.
Changing to object directory of "Hello":
"/home/grim7reaper/Documents/Developpements/Ada/simple_lib/obj/"
Library file does not exist for project "hello"
Main source file: "hello.adb".
Created configuration file
"/home/grim7reaper/Documents/Developpements/Ada/simple_lib/obj/GNAT-TEMP-000001.TMP"
"hello.ali" being checked ...
-> "hello.ali" missing.
gcc -c -I- -gnatA
/home/grim7reaper/Documents/Developpements/Ada/simple_lib/src/hello.adb
End of compilation
Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE
Message: namet.adb:655
gnatmake: INTERNAL ERROR. Please report.
Expected behavior: build a static library libhello.a in the lib directory.
Actual behavior:
> Internal compiler error:
> Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE
> Message: namet.adb:655
>
> gnatmake: INTERNAL ERROR. Please report.
Please find in attachments a minimal set of source files for reproducing the
bug.
The .gpr file used only contains the following lines:
library project Hello is
for Library_Name use "hello";
for Languages use ("Ada");
for Source_Dirs use ("src");
for Library_Dir use "lib";
for Object_Dir use "obj";
for Library_Kind use "static";
end Hello;
