search

AdaCore / gprbuild

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Other
65 stars 21 forks source link

Suggestions gathered from Debian. #64

Closed asarhaddon closed 3 years ago

asarhaddon commented 4 years ago

Hello. I think that a github pull request is now the recommended way to suggest changes for gprbuild. Each commit contains a separate suggestion. I may split the PRi if this fits your workflow better. Thanks for considering.

CLAassistant commented 4 years ago

CLA assistant check
All committers have signed the CLA.

t-14 commented 4 years ago

Thank you for your contribution. May I ask you to spin off into two separate PRs the following two commits: "Move PIC/shared options later on the command line for libraries" and "Fix and simplify build of static libraries" as those are relatively involved so we prefer to double-check them internally before approving. Thanks in advance.

asarhaddon commented 4 years ago

Hi. I have split the merge request.

asarhaddon commented 4 years ago

Hi. A rebase has been necessary because a recent commit on master was duplicated work. I have removed the related patch from the queue.

asarhaddon commented 3 years ago

I have moved each commit into its own merge request, hopefully reducing the work to rebase after the split of gprconfig_kb.