Revert "drop the gnat gsoc project idea"

This reverts commit 306f359688afa254dc8728c73afab0fdb33d39ab, as discussed in
id:"87ip4ntdbn.fsf@kepler.schwinge.homeip.net".

3 files changed, 51 insertions, 1 deletions

diff --git a/community/gsoc/project_ideas.mdwn b/community/gsoc/project_ideas.mdwn
index 31d1b164..dba6dc46 100644
--- a/community/gsoc/project_ideas.mdwn
+++ b/community/gsoc/project_ideas.mdwn
@@ -78,7 +78,7 @@ See also the list of [Hurd-related X.Org project
 ideas](http://xorg.freedesktop.org/wiki/Hurd_Porting).
 
 <!-- Olaf, wouldn't it make sense to put the following tasks next to each
-other: language_bindings, gccgo, perl_python.  -->
+other: language_bindings, gnat, gccgo, perl_python.  -->
 
 [[!inline pages="community/gsoc/project_ideas/language_bindings" show=0 feeds=no actions=yes]]
 [[!inline pages="community/gsoc/project_ideas/virtualization" show=0 feeds=no actions=yes]]
@@ -101,6 +101,7 @@ other: language_bindings, gccgo, perl_python.  -->
 [[!inline pages="community/gsoc/project_ideas/package_manager" show=0 feeds=no actions=yes]]
 [[!inline pages="community/gsoc/project_ideas/download_backends" show=0 feeds=no actions=yes]]
 [[!inline pages="community/gsoc/project_ideas/maxpath" show=0 feeds=no actions=yes]]
+[[!inline pages="community/gsoc/project_ideas/gnat" show=0 feeds=no actions=yes]]
 [[!inline pages="community/gsoc/project_ideas/gccgo" show=0 feeds=no actions=yes]]
 [[!inline pages="community/gsoc/project_ideas/hardware_libs" show=0 feeds=no actions=yes]]
 [[!inline pages="community/gsoc/project_ideas/cdparanoia" show=0 feeds=no actions=yes]]
diff --git a/community/gsoc/project_ideas/gnat.mdwn b/community/gsoc/project_ideas/gnat.mdwn
new file mode 100644
index 00000000..ee6afa2f
--- /dev/null
+++ b/community/gsoc/project_ideas/gnat.mdwn
@@ -0,0 +1,33 @@
+[[!meta copyright="Copyright © 2009, 2011, 2012, 2013 Free Software Foundation,
+Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+[[!meta title="Porting GNAT (GCC)"]]
+
+An initial port of the GNU Ada Translator (GNAT) is available for the Hurd.
+
+The goal of this project is to continue improving and polishing that port and
+getting it integrated in the upstream GCC repository.  It
+requires implementing some explicitly system-specific stuff in GNAT (mostly in
+its runtime libraries), and for that also address a number of issues in Hurd
+and other libraries.  Knowledge of Ada is a must; some Hurd
+knowledge will have to be acquired while working on the project.
+
+Designing and implementing [[language_bindings]] is a follow-up project.
+
+Possible mentors: [[Samuel Thibault (youpi)|samuelthibault]], [[Thomas Schwinge
+(tschwinge)|tschwinge]].
+
+Exercise: Fix one of the known issues of GNAT on the Hurd.
+
+---
+
+[[Open Issue page|open_issues/gnat]].  [Entry in the GCC
+wiki](http://gcc.gnu.org/wiki/SummerOfCode#gnat_hurd).
diff --git a/open_issues/gnat.mdwn b/open_issues/gnat.mdwn
index e3005ee4..05b79f62 100644
--- a/open_issues/gnat.mdwn
+++ b/open_issues/gnat.mdwn
@@ -26,6 +26,11 @@ There is a [[!FF_project 259]][[!tag bounty]] on this task.
 First, make the language functional, have its test suite pass without errors.
 
 
+## Original [[community/GSoC]] Task Description
+
+[[!inline pages=community/gsoc/project_ideas/gnat feeds=no]]
+
+
 ## Debian GCC
 
 There has a patch been added for GNU/kFreeBSD:
@@ -83,6 +88,17 @@ svn://svn.debian.org/gcccvs/branches/sid@5638
       GNAT to Hurd.
 
 
+## Svante's patch
+
+A basic port has been done by Svante, but there's still lots of work remaining.
+The port is not yet upstream: the maintainer raised some concerns that
+[[I|tschwinge]] have not yet found the time to follow up on.  While the test
+results of the GCC/GNAT testsuite don't look bad (but there are a few
+unresolved issues, and the testsuite appears to be a rather small one), I don't
+know if the port has yet seen any real-world usage, such as using it for any
+bigger Ada code bases, or any Ada testsuites.
+
+
 ---