Source Mage code commit list

[Pavel Vinogradov <scm AT sourcemage.org>]

GIT changes to master grimoire by Pavel Vinogradov <public AT sourcemage.org>:

 gnu/gcc/0001-fix-isl-0.20.patch |   13 -------------
 gnu/gcc/DETAILS                 |    2 +-
 gnu/gcc/HISTORY                 |    6 +++++-
 gnu/gcc/PRE_BUILD               |    3 ---
 4 files changed, 6 insertions(+), 18 deletions(-)

New commits:
commit 45fad43001f018837cd81f527fc314fb7dbad033
Author: Pavel Vinogradov <public AT sourcemage.org>
Commit: Pavel Vinogradov <public AT sourcemage.org>

    gnu/gcc: version 8.3.0

diff --git a/gnu/gcc/0001-fix-isl-0.20.patch b/gnu/gcc/0001-fix-isl-0.20.patch
deleted file mode 100644
index db1a54a..0000000
--- a/gnu/gcc/0001-fix-isl-0.20.patch
+++ /dev/null
@@ -1,13 +0,0 @@
-# From https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86724
---- branches/gcc-6-branch/gcc/graphite.h       2018/08/14 14:33:20     263538
-+++ branches/gcc-6-branch/gcc/graphite.h       2018/08/14 15:15:39     263539
-@@ -40,6 +40,8 @@
- #ifdef HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS
- /* isl 0.15 or later.  */
- #include <isl/schedule_node.h>
-+#include <isl/id.h>
-+#include <isl/space.h>
- 
- #else
- /* isl 0.14 or 0.13.  */
-
diff --git a/gnu/gcc/DETAILS b/gnu/gcc/DETAILS
index 2f13e9a..ac919b3 100755
--- a/gnu/gcc/DETAILS
+++ b/gnu/gcc/DETAILS
@@ -1,5 +1,5 @@
            SPELL=gcc
-         VERSION=8.2.0
+         VERSION=8.3.0
  BASE_SOURCE_URL="ftp://ftp.gnu.org/pub/gnu/gcc/gcc-$VERSION";
           SOURCE=gcc-$VERSION.tar.xz
          SOURCE2=$SOURCE.sig
diff --git a/gnu/gcc/HISTORY b/gnu/gcc/HISTORY
index e769f83..2a500b1 100644
--- a/gnu/gcc/HISTORY
+++ b/gnu/gcc/HISTORY
@@ -1,5 +1,9 @@
+2019-02-22 Pavel Vinogradov <public AT sourcemage.org>
+       * DETAILS: version 8.3.0
+       * PRE_BUILD, 0001-fix-isl-0.20.patch: removed the patch
+
 2019-01-19  Treeve Jelbert <treeve AT sourcemage.org>
-       * DEPENDS: delete gnupg
+       * DEPENDS: delete gnupg
 
 2018-11-10 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
        * DETAILS, BUILD: new ada bootstrapper
diff --git a/gnu/gcc/PRE_BUILD b/gnu/gcc/PRE_BUILD
index b39cef4..4ac0589 100755
--- a/gnu/gcc/PRE_BUILD
+++ b/gnu/gcc/PRE_BUILD
@@ -28,9 +28,6 @@ cd ${SOURCE_DIRECTORY}          &&
 mk_source_dir $SOURCE_DIRECTORY.bld  &&
 cd $SOURCE_DIRECTORY  &&
 
-message "${MESSAGE_COLOR}Applying patch for isl 0.20...${DEFAULT_COLOR}" &&
-patch -p2 < "${SPELL_DIRECTORY}/0001-fix-isl-0.20.patch" &&
-
 sed -i 's/install_to_$(INSTALL_DEST) //' libiberty/Makefile.in &&
 sed -i 's@\./fixinc\.sh@-c true@' gcc/Makefile.in &&