Hello Jeremiah,
Normally GPRBuild cope with that:
2.2.7. Executable File Names
By default, the executable name corresponding to a main file is computed from
the main source file name. Through the attribute Executable in package Builder,
it is possible to change this default.
For instance, instead of building an executable named "proc" (or "proc.exe" on
Windows), we could configure our project file to build proc1 (respectively
proc1.exe) as follows:
project Build is
... -- same as before
package Builder is
for Executable ("proc.adb") use "proc1";
end Builder
end Build;
Attribute Executable_Suffix, when specified, changes the suffix of the
executable files when no attribute Executable applies: its value replaces the
platform-specific executable suffix. The default executable suffix is the empty
string empty on Unix and ".exe" on Windows.
(from
https://docs.adacore.com/gprbuild-docs/html/gprbuild_ug/gnat_project_manager.html)
What is your GNAT version?
Could be a system detection issue in GPRBuild?
HTH, Pascal.
http://blady.pagesperso-orange.fr
> Le 4 nov. 2017 à 21:28, Jeremiah Breeden <jeremiah.bree...@gmail.com> a écrit
> :
>
> Forgot to add. So now "make all" works with all the changes I have gone
> through. The command "make install" still fails as I described in a separate
> email chain a while back (couple of months maybe?).
>
> In particular, to get "make install" to work, I have to modify
> tools/tools.gpr and add ".exe" to both executable names:
>
> package Builder is
> for Executable ("gnoga_make-main.adb") use "gnoga_make.exe";
> for Executable ("gnoga_doc-main.adb") use "gnoga_doc.exe";
> end Builder;
>
> Otherwise make install fails with
> ---------------------------------------------------------------
> Install project Tools
> file D:\Program_Files\msys64\home\Jere\gnoga-code-2017_11_02\bin\gnoga_make
> does not exist, build may not be complete
> make: *** [Makefile:202: install] Error 1
> ---------------------------------------------------------------
>
> and a similar error for gnoga_doc
>
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Gnoga-list mailing list
Gnoga-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/gnoga-list
