Closed martinvahi closed 5 years ago
I believe this is likely intended behavior within the AdaCore packages. If you specify the same prefix value on both the build and install invocations of make it should work.
(Edit) Alternatively use "make prefix=\<dir> setup" to save the values for both build and install.
Strange. Well, if that is the case, I haven't tested what You say yet, then how about the idea that they should swap the default behavior to the classical version, where "prefix" argument does not require any extra "switches" to work and the "intended behavior" might be marked with an extra switch, let's say, "install_2_AdaCore_distribution_folder".
Thank You for the answer, of course.
prefix
argument is only used to install. There is no point to specify it during the build as it has no effect whatsoever.
@t-14 How do You explain the following line at the gprbuild README.md ?
make prefix=xxx SOURCE_DIR=/path/to/gprbuild/sources setup
Thank You for the answer(s).
@martinvahi Sorry, I was mistaken in both on how I remembered the documentation and how I actually build things.
I should have said: If you specify the prefix value in either the configuration (i.e. make setup) or installation (e.g. make install) invocations of make then it should work.
The recommended place to specify the prefix value is during configuration with make setup as mentioned in both the README.md as well as the Makefile. As @t-14 said, the only place it does any useful work (other than passing in and out of the makefile.setup file) is during installs, e.g. setting and using INSTALLER variables.
Hopefully that's clearer. You can verify by reading the Makefile itself.
How do You explain the following line at the gprbuild README.md ?
This line is talking precisely of a setup
make target. This entirely optional target basically just stores the prefix value for later retrieval by install
target.
The "make install" does not place the build result to the folder that was specified at the prefix argument at the first run of the make. The details are in the citation of the console output, but what I did was:
./bootstrap.sh --with-xmlada=../xmlada --prefix=./bootstrap
The issue is that the built gprbuild was not placed to
/home/ts2/m_local/bin_p/Ada/v2019_02_28/gprbuild
despite the fact that this was the path at the make "prefix" argument.