diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-10 11:58:12 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-10 12:31:40 +0100 |
commit | 9282e53e0e195d21e6fcccabd32377983b93c3e9 (patch) | |
tree | 611cb5c8f79146c880f360e66052d673a072bb37 /reproduce/config/pipeline | |
parent | 7b369c861aff6eefb5b0c0530eeb9ab2e3053891 (diff) | |
parent | 2315b5137c03884025ba437fc72cf3cf7471cd43 (diff) |
Imported PatchELF correction, gmp and mpfr also dependencies of AWK
There weren't any conflicts in this merge. However, while, trying to break
a long line into multiple (for better readability), I noticed that the AWK
version was mistakenly written as `awk-version' in a few cases, so this was
corrected to `gawk-version'.
While inspecting the libraries that AWK links to, I noticed that it also
links to GNU GMP and GNU MPFR. But since they are built after AWK usually,
it was using my host system! So with this commit, AWK has these two
libraries as prerequisites. As a result, these two libraries were brought
up to the basic program section, and not just GCC prerequisites.
Diffstat (limited to 'reproduce/config/pipeline')
0 files changed, 0 insertions, 0 deletions