> Le 2 mai 2018 à 02:39, Jeremiah Breeden <jeremiah.bree...@gmail.com> a écrit :
>
> Build environment:
> mingw64/msys2 x86_64 GNAT 7.2 FSF on Windows 10
>
> I cloned the 1.4 branch and tried to make a build. I started with a "make
> all" command and after a bit it erred on:
>
> *******************************************************
> make[2]: Leaving directory '/home/Jere/gnoga-code-2018_05_01/components/pixi'
> make -C mnmenu install
> make[2]: Entering directory
> '/home/Jere/gnoga-code-2018_05_01/components/mnmenu'
> cp -p css/*.* ../../css
> cp -p html/*.* ../../html
> cp -p img/*.* ../../img
> cp -p js/*.* ../../js
> make[2]: Leaving directory
> '/home/Jere/gnoga-code-2018_05_01/components/mnmenu'
> make[1]: Leaving directory '/home/Jere/gnoga-code-2018_05_01/components'
> gprbuild -p --target=x86_64-w64-mingw32 -P src/gnoga.gpr -XPRJ_TARGET=Windows
> gnoga.gpr:2:06: unknown project file: "lib_components.gpr"
> gprbuild: "src/gnoga.gpr" processing failed
> make: *** [Makefile:188: gnoga] Error 4
>
> *******************************************************
>
> I remebered that we needed to set the GPR_PROJECT_PATH, so I did a make help:
> *******************************************************
> $ make help
> -----------------------------------------------------------------------------
> -- --
> -- make <entry> --
> -- --
> -- <entry> ::= help -- print this message --
> -- | all -- build gnoga and all dependencies (debug mode)--
> -- | release -- build gnoga in release mode --
> -- | install -- install gnoga release mode --
> -- | install_debug -- install gnoga debug mode --
> -- | uninstall -- uninstall gnoga --
> -- | demo -- build all demos --
> -- | tutorials -- build all tutorials --
> -- | gnoga_tools -- build all tools --
> -- | tests -- build all tests --
> -- | clean -- clean build files --
> -- | clean_all -- clean build files and deps --
> -- | rm-docs -- build reference manual --
> -- | html-docs -- build html docs --
> -- | gps -- launch GPS with gnoga environnement --
> -- | check_rules -- check gnoga with AdaControl --
> -- --
> -- PREFIX = /home/Jere/gnoga-code-2018_05_01/inst_folder
> --
> -- GPRCHECK = GPRBUILD GPL 2016 (20160515) (i686-pc-mingw32)
> Copyright (C) 2004-2016, AdaCore This is free software; see the source for
> copying conditions. There is NO warranty; not even for MERCHANTABILITY or
> FITNESS FOR A PARTICULAR PURPOSE. --
> -- TARGET = x86_64-w64-mingw32
> --
> -- GPR_PROJECT_PATH =
> /home/Jere/gnoga-code-2018_05_01/build/share/gpr;/home/Jere/gnoga-code-2018_05_01/build/lib/gnat
> --
> -- ATOMIC_ACCESS = GCC-long-offsets --
> -- BUILDER = gprbuild -p --target=x86_64-w64-mingw32
> --
> -- PRJ_TARGET = Windows --
> -- BUILD_OS = UnixLike --
> -- --
> -----------------------------------------------------------------------------
>
> *******************************************************
>
> when I tried to set the GPR_PROJECT_PATH using that value, I got:
>
> $ set
> GPR_PROJECT_PATH=/home/Jere/gnoga-code-2018_05_01/build/share/gpr;/home/Jere/gnoga-code-2018_05_01/build/lib/gnat
> bash: /home/Jere/gnoga-code-2018_05_01/build/lib/gnat: No such file or
> directory
>
> anyone know where I go from here?
>
>
Thanks Jeremiah for reporting,
Thanks for help log, it is really helpful for analysis.
The issue is cause by the wrong choice of PATH separator which is not the same
between Unix and Windows.
Here is a patch for the makefile:
diff --git a/Makefile b/Makefile
index bf6a37c7..c350701e 100644
--- a/Makefile
+++ b/Makefile
@@ -79,7 +79,7 @@ endif
PATHSEP=$(strip $(PATHSEP2))
-ifeq ($(PRJ_TARGET),Windows)
+ifeq ($(BUILD_OS),Windows)
GPR_PROJECT_PATH_SEP=;
else
GPR_PROJECT_PATH_SEP=:
The separator choice should be good now.
HTH, Pascal.
http://blady.pagesperso-orange.fr
------------------------------------------------------------------------------
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
