diff options
Diffstat (limited to 'gnu/gnat-gpl')
| -rwxr-xr-x | gnu/gnat-gpl/DEPENDS | 2 | ||||
| -rw-r--r-- | gnu/gnat-gpl/HISTORY | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gnu/gnat-gpl/DEPENDS b/gnu/gnat-gpl/DEPENDS index 5952923693..fd1ef5bb64 100755 --- a/gnu/gnat-gpl/DEPENDS +++ b/gnu/gnat-gpl/DEPENDS @@ -1,3 +1,3 @@ -depends ada && +depends -sub ADA gcc && depends gmp && depends mpfr diff --git a/gnu/gnat-gpl/HISTORY b/gnu/gnat-gpl/HISTORY index 7c32c72441..39b80be722 100644 --- a/gnu/gnat-gpl/HISTORY +++ b/gnu/gnat-gpl/HISTORY @@ -1,3 +1,7 @@ +2011-07-30 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DEPENDS: changed dependency on ada to dependency on gcc with + sub-depends on ADA (scripted) + 2011-03-09 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * BUILD, DEPENDS, DETAILS, INSTALL, PRE_BUILD: spell created |