summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFlorian Franzmann2021-04-08 22:35:20 +0200
committerFlorian Franzmann2021-04-08 22:36:17 +0200
commit20b2c4ed71a235131c4b1f921d90e2594b1413ca (patch)
treef801c3e82333c186dbc7f550099c8c51059cc7f3
parent3541bc62f9db78e46ad49aa1f0aa78ba1f03a3b7 (diff)
gnu/gcc: isl version 0.23
-rwxr-xr-xgnu/gcc/DETAILS5
-rw-r--r--gnu/gcc/HISTORY3
2 files changed, 5 insertions, 3 deletions
diff --git a/gnu/gcc/DETAILS b/gnu/gcc/DETAILS
index 0a0ed5b37a..4d055af819 100755
--- a/gnu/gcc/DETAILS
+++ b/gnu/gcc/DETAILS
@@ -1,7 +1,6 @@
SPELL=gcc
VERSION=10.3.0
- ISL_VERSION=0.20
- PATCHLEVEL=4
+ ISL_VERSION=0.23
BASE_SOURCE_URL="https://ftp.gnu.org/pub/gnu/gcc/gcc-$VERSION"
SOURCE=gcc-$VERSION.tar.xz
SOURCE2=$SOURCE.sig
@@ -16,7 +15,7 @@ SOURCE_DIRECTORY=$BUILD_DIRECTORY/gcc-$VERSION
if [[ "$GCC_CLOOG" == "y" ]]; then
SOURCE3=isl-${ISL_VERSION}.tar.xz
SOURCE3_URL[0]=http://isl.gforge.inria.fr/$SOURCE3
- SOURCE3_HASH=sha512:394bccd22d8e63cb052a60ad8b1a75f4ec43916a9482c66f5167b534b538161179c47919815983b7fbc20dfaa1a590e88b251850aa092bbffc2891635bf30dc4
+ SOURCE3_HASH=sha512:da4e7cbd5045d074581d4e1c212acb074a8b2345a96515151b0543cbe2601db6ac2bbd93f9ad6643e98f845b68f438f3882c05b8b90969ae542802a3c78fea20
fi
if list_find "$GCC_COMPILER" "ada" ; then
diff --git a/gnu/gcc/HISTORY b/gnu/gcc/HISTORY
index 278c030e14..14ce17fb7a 100644
--- a/gnu/gcc/HISTORY
+++ b/gnu/gcc/HISTORY
@@ -1,3 +1,6 @@
+2021-04-08 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
+ * DETAILS: isl version 0.23
+
2021-04-08 Treeve Jelbert <treeve@sourcemage.org>
* DETAILS: version 10.3.0