summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFlorian Franzmann2011-07-30 21:52:17 +0200
committerFlorian Franzmann2011-07-30 21:52:17 +0200
commit7dcee09e8261263bd4b5f9db5849228f73eb2a2c (patch)
treed8deee85886f05a6a6d1da6db7a2d9c3a581087c
parent64f45854ce44df572826453cd95a191255ce61fd (diff)
gnu/gnat-gpl: changed dependency on ada to dependency on gcc with ADA (scripted)
-rwxr-xr-xgnu/gnat-gpl/DEPENDS2
-rw-r--r--gnu/gnat-gpl/HISTORY4
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