diff options
| author | Thomas Veerman <thomas@minix3.org> | 2012-06-25 09:15:27 +0000 |
|---|---|---|
| committer | Thomas Veerman <thomas@minix3.org> | 2012-06-25 09:15:27 +0000 |
| commit | e3209ae7661484355fce7e5f8f0090acb283ef74 (patch) | |
| tree | d57fd35c94075e23313be119d4d88a0db136e8d2 /tools/Makefile?id=e3209ae7661484355fce7e5f8f0090acb283ef74 | |
| parent | f8c6b27b69033fe5ea2e32660e9452765ba20fdb (diff) | |
Import lib{mpc,gmp,mpfr}
This decreases external dependencies for crosscompilation. Note that
these libraries are not built nor used by Minix itself.
Furthermore, the shell scripts that download the tarballs for these
libraries, gcc, binutils, and gmake now also support curl in addition
to wget.
Diffstat (limited to 'tools/Makefile?id=e3209ae7661484355fce7e5f8f0090acb283ef74')
0 files changed, 0 insertions, 0 deletions