Closed simonjwright closed 7 months ago
Hello @simonjwright, and thank you for your contribution! Sorry for the delay in answering this PR. In this case, the change has already been implemented, so this PR is now not applicable, and we will close it for this reason. Please update your local repository; you should now be able to use the build-libs target in the Makefile.
In this case, the change has already been implemented, so this PR is now not applicable, and we will close it for this reason.
I still think it’d be good if the initial comments documented the actual options available!
I still think it’d be good if the initial comments documented the actual options available!
Sure! Could you please either open a new PR or update this one to only reflect a documentation change?
Updated this PR.
Your PR has been merged internally: https://github.com/AdaCore/gpr/commit/3999ff4e24158a163d81f3bfe0b803338e1efa49. Thank you again for your contribution!
The current Makefile doesn't support building the libraries and not the tools, whereas the install targets provide for installing just the libraries.
The initial commentary is misleading (it doesn't mention the tools).
This change adds a target 'build-libs', to build just the libraries.