Re: Weird error emanating from GNAT binder: duplicat "gnatS"

[Jerry <list_email@icloud.com>]

On Thursday, February 23, 2023 at 5:28:48 PM UTC-7, Jerry wrote:
> More info. 
> 
> * I reduced the MWE to not referencing Common package—it’s now only a main program. 
> * I changed file name and program name to lower case. 
> * I stripped down my .gpr file to nearly bare minimum. 
> * Observe presence or absence of “with GNAT.OS_Lib” in main and “for Casing use "mixedcase”” in .gpr. 
> Results summary: 
> * Compiling with gnatmake works always. 
> * Compiling with gprbuild shows dependence between presence or absence of the two lines. Details follow. 
> * Recall that I am on MacOS. I have had to use the “mixedcase” flag to mitigate other problems in the past. 
> * My current workaround is to not use GNAT.OS_Lib which is sub-optimal. 
> 
> 
> Main program (Lower-case file and procedure names), test_gnats_problem.adb 
> 
> -- with GNAT.OS_Lib; -- <<<<< 
> procedure test_gnats_problem is 
> begin 
> null; 
> end test_gnats_problem; 
> 
> =========================================================== 
> 
> Build command, gprbuild: 
> 
> gprbuild -p /Users/jb/Documents/Programs/Ada/Code/My_Projects/TextMate_Sampling/build.gpr 
> 
> GPR file, build.gpr: 
> 
> project Build is 
> for Source_Dirs use 
> ("/Users/jb/Documents/Programs/Ada/Code/My_Code/Examples_and_Snippets_and_Notes"); 
> for Object_Dir use "build-normal"; 
> for Exec_Dir use "product-normal"; 
> 
> for Main use ("test_gnats_problem.adb"); 
> 
> package Builder is 
> for Default_Switches ("Ada") use ("-gnat12"); 
> for Executable ("test_gnats_problem.adb") use "run"; 
> end Builder; 
> 
> package Naming is 
> -- for Casing use "mixedcase"; -- <<<<< 
> end Naming; 
> end Build; 
> 
> 
> Results: Y Compiles, N Does not compile 
> 
> for Casing use "mixedcase" -- for Casing use "mixedcase" 
> with GNAT.OS_Lib N Y 
> -- with GNAT.OS_Lib Y Y 
> 
> gprbuild Output: 
> 
> Compile 
> [Ada] test_gnats_problem.adb 
> Bind 
> [gprbind] test_gnats_problem.bexch 
> [Ada] test_gnats_problem.ali 
> b__test_gnats_problem.ads:144:30: error: external name duplicates name given at line 50
> gprbind: compilation of binder generated file failed
> gprbuild: unable to bind test_gnats_problem.adb 
> 
> =========================================================== 
> 
> Build command, gnatmake, with output. 
> Produces the same result (compiles) with or without “with GNAT.OS_Lib” 
> 
> $ gnatmake /Users/jb/Documents/Programs/Ada/Code/My_Code/Examples_and_Snippets_and_Notes/test_gnats_problem.adb 
> gcc -c -I/Users/jb/Documents/Programs/Ada/Code/My_Code/Examples_and_Snippets_and_Notes/ -I- /Users/jb/Documents/Programs/Ada/Code/My_Code/Examples_and_Snippets_and_Notes/test_gnats_problem.adb
> gnatbind -x test_gnats_problem.ali 
> gnatlink test_gnats_problem.ali
Google Groups clobbered my indentation. Here is the little "Y" and "N" table in another form:

Compiles with either or both of "with GNAT.OS_Lib", "for Casing use "mixedcase"" absent.
Doesn't compile with both of "with GNAT.OS_Lib", "for Casing use "mixedcase"" present.

Jerry