open_issues/gcc: Switch to upstream sources

5 files changed, 39 insertions, 47 deletions

diff --git a/open_issues/gcc.mdwn b/open_issues/gcc.mdwn
index a83064cc..8fef7e7f 100644
--- a/open_issues/gcc.mdwn
+++ b/open_issues/gcc.mdwn
@@ -23,9 +23,6 @@ example.  Especially all the compiler magic is all the same.
 # [[General information|/gcc]]
 
 
-# [[Sources|source_repositories/gcc]]
-
-
 # Configuration
 
 <!--
@@ -37,8 +34,8 @@ git diff --patience --stat=$COLUMNS,$COLUMNS --patch --src-prefix=./ --dst-prefi
 
 -->
 
-Last reviewed up to the [[Git mirror's c16b7ed55398d2ea55d9ab35519f20cc053b9d0a
-(2015-01-19) sources|source_repositories/gcc]].
+Last reviewed up to the Git mirror's commit
+c16b7ed55398d2ea55d9ab35519f20cc053b9d0a (2015-01-19).
 
 <http://gcc.gnu.org/install/configure.html> has documentation for the
 `configure` switches.
@@ -395,7 +392,7 @@ Last reviewed up to the [[Git mirror's c16b7ed55398d2ea55d9ab35519f20cc053b9d0a
 
   * `gcc/ada` (not all reviewed)
 
-      * [[Ada (GNAT)|GNAT]] support is work in progress.
+      * [[Ada (GNAT)|gnat]] support is work in progress.
 
   * `gcc/go`, `gcc/testsuite/go.test`, `libgo` (not reviewed)
 
@@ -771,25 +768,27 @@ Last reviewed up to the [[Git mirror's c16b7ed55398d2ea55d9ab35519f20cc053b9d0a
 
 # Build
 
-Here's a log of a GCC build run; this is from our [[Git repository's
-91049a6f433bd5b425144d2c71245df9ec99aa8f (2015-01-20;
-c16b7ed55398d2ea55d9ab35519f20cc053b9d0a (2015-01-19))
-sources|source_repositories/gcc]], with
+Here's a log of a GCC build run; this is from Git commit
+c16b7ed55398d2ea55d9ab35519f20cc053b9d0a (2015-01-19), with
 b68b3d9d07b2e31cc592ef231a6b963192ae81b6 cherry-picked on laplace.SCHWINGE, run
 on kepler.SCHWINGE and laplace.SCHWINGE.
 
     $ export LC_ALL=C
     $ (cd ../master/ && contrib/gcc_update --touch)
-    $ ../master/configure --prefix="$PWD".install SHELL=/bin/dash CC=gcc-4.9 CXX=g++-4.9 --enable-languages=all,ada 2>&1 | tee log_build
+    $ ../master/configure --prefix="$PWD".install SHELL=/bin/dash CC=gcc-4.9 CXX=g++-4.9 --enable-languages=all --disable-libcilkrts --with-native-system-header-dir=/usr/include --enable-multiarch 2>&1 | tee log_build
     [...]
     $ make 2>&1 | tee log_build_
     [...]
 
 Different hosts may default to different shells and compiler versions; thus
 harmonized.
+`--disable-libcilkrts` until that is auto-detected/fixed for GNU Hurd.
+`--with-native-system-header-dir=/usr/include` because GCC still defaults to
+`/include` for GNU Hurd.  Explicit `--enable-multiarch` because *auto check [is
+disabled if] configured with --native-system-header-dir*.
 
-This takes up around 4.9 GiB, and runs for [[6 h 09 min|performance#measure]]
-on kepler.SCHWINGE and [[4 h 28 min|performance#measure]] on laplace.SCHWINGE.
+This takes up around 4.3 GiB, and runs for [[4 h 37 min|performance#measure]]
+on kepler.SCHWINGE and [[3 h 42 min|performance#measure]] on laplace.SCHWINGE.
 
 <!--
 
@@ -944,7 +943,7 @@ on kepler.SCHWINGE and [[4 h 28 min|performance#measure]] on laplace.SCHWINGE.
     $ make install 2>&1 | tee log_install
     [...]
 
-This takes up around 1.4 GiB, and runs for [[4 min|performance#measure]] on
+This takes up around 1.4 GiB, and runs for [[2 min|performance#measure]] on
 kepler.SCHWINGE and [[5 min|performance#measure]] on laplace.SCHWINGE.
 
 
@@ -970,8 +969,8 @@ kepler.SCHWINGE and [[5 min|performance#measure]] on laplace.SCHWINGE.
     $ make -k check 2>&1 | tee log_test
     [...]
 
-This runs for [[11 h 55 min|performance#measure]] on kepler.SCHWINGE and [[11 h
-33 min|performance#measure]] on laplace.SCHWINGE.
+This runs for [[7 h 3 min|performance#measure]] on kepler.SCHWINGE and [[10 h
+19 min|performance#measure]] on laplace.SCHWINGE.
 
 
 ## Analysis
@@ -1271,6 +1270,9 @@ This runs for [[11 h 55 min|performance#measure]] on kepler.SCHWINGE and [[11 h
 
     2015-11-03
 
+    With work-in-progress [[Ada (GNAT)|gnat]] support (but that's not relevant
+    here).
+
         splitting /home/thomas/tmp/gcc/hurd/master.build/gcc/testsuite/ada/acats/tests/cb/cb1010a.ada into:
            cb1010a.adb
         BUILD cb1010a.adb
diff --git a/open_issues/gnat.mdwn b/open_issues/gnat.mdwn
index 84e8f60b..48a1e25e 100644
--- a/open_issues/gnat.mdwn
+++ b/open_issues/gnat.mdwn
@@ -1,5 +1,5 @@
-[[!meta copyright="Copyright © 2011, 2012, 2013 Free Software Foundation,
-Inc."]]
+[[!meta copyright="Copyright © 2011, 2012, 2013, 2016 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
@@ -25,6 +25,9 @@ There is a [[!FF_project 259]][[!tag bounty]] on this task.
 
 First, make the language functional, have its test suite pass without errors.
 
+Using, for example, the build instructions from [[GCC]], you'll need to add
+`ada` to `--enable-languages`.
+
 
 ## Original [[community/GSoC]] Task Description
 
@@ -152,6 +155,13 @@ f6568ea476aa52a6e23c6db43b3e240cde55783a (2013-04-26).
     gcc/ada/s-taprop-posix.adb:            Stack.ss_sp    := Self_ID.Common.Task_Alternate_Stack;
 
 
+## TODO
+
+GCC includes (TODO: some version of) the Ada Conformity Assessment Test Suite
+(ACATS), <http://ada-auth.org/acats.html>.  Additional tests to be found at
+<http://ada-auth.org/submit.html>.  TODO: results?
+
+
 ---
 
 
diff --git a/source_repositories.mdwn b/source_repositories.mdwn
index ee1166d4..3ffd9619 100644
--- a/source_repositories.mdwn
+++ b/source_repositories.mdwn
@@ -1,5 +1,5 @@
-[[!meta copyright="Copyright © 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014
-Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014,
+2016 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
@@ -256,13 +256,6 @@ really need to, you can clone it like this:
     $ git clone git://flubber.bddebian.com/~tschwinge/tmp/hurd/libpthread
 
 
-# Git repositories on grubber
-
-## List of Interesting Repositories
-
-  * [[GCC]]
-
-
 # Debian Git repositories
 
 IRC, #hurd, 2010-07-31
diff --git a/source_repositories/gcc.mdwn b/source_repositories/gcc.mdwn
deleted file mode 100644
index 899adc30..00000000
--- a/source_repositories/gcc.mdwn
+++ /dev/null
@@ -1,15 +0,0 @@
-[[!meta copyright="Copyright © 2010 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]]."]]"""]]
-
-There is a repository for maintenance of [[/GCC]] for the Hurd's needs:
-`grubber:~tschwinge/tmp/gcc/git`.
-
-This repository uses [[TopGit]] and is based on
-<http://gcc.gnu.org/wiki/GitMirror>.
diff --git a/toolchain/logs b/toolchain/logs
-Subproject fdfb79c75bd171454e311e76f030a7f808d559d
+Subproject 0ac701c19f3a6defc6df40f29288f0d3e843cc3