diff options
Diffstat (limited to 'Makefile.def')
| -rw-r--r-- | Makefile.def | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.def b/Makefile.def index 0e63ad3..d52466d 100644 --- a/Makefile.def +++ b/Makefile.def @@ -366,6 +366,8 @@ dependencies = { module=all-gnattools; on=all-target-libada; }; dependencies = { module=all-lto-plugin; on=all-libiberty; }; +dependencies = { module=all-utils; on=all-libiberty; }; + dependencies = { module=configure-mpfr; on=all-gmp; }; dependencies = { module=configure-mpc; on=all-mpfr; }; dependencies = { module=configure-ppl; on=all-gmp; }; |