diff options
Diffstat (limited to 'appendices/dependencies.xml')
| -rw-r--r-- | appendices/dependencies.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/appendices/dependencies.xml b/appendices/dependencies.xml index b43605a76..f45e4a413 100644 --- a/appendices/dependencies.xml +++ b/appendices/dependencies.xml @@ -609,7 +609,9 @@ <segtitle>&external;</segtitle> <seglistitem> - <seg>GNAT</seg> + <seg><ulink url="http://gcc.gnu.org/wiki/Graphite">CLooG-PPL</ulink>, + <ulink url="http://gcc.gnu.org/wiki/GNAT">GNAT</ulink> and + <ulink url="http://gcc.gnu.org/wiki/Graphite">PPL</ulink></seg> </seglistitem> </segmentedlist> |