aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKyle Schwarz <zeranoe@gmail.com>2019-04-18 17:20:00 -0400
committerKyle Schwarz <zeranoe@gmail.com>2019-04-18 17:20:00 -0400
commit5b36c6a52fa35e43ba60d4fb3f733b643a012229 (patch)
tree12fb426cc4fda11f2f379635fcf45189566205fd
parent7dc0f7832c9d45408f2b8cb609321f3624e31149 (diff)
Update ISL to 0.21
-rw-r--r--README.md2
-rwxr-xr-xmingw-w64-build2
2 files changed, 2 insertions, 2 deletions
diff --git a/README.md b/README.md
index 77a16a6..38f1c42 100644
--- a/README.md
+++ b/README.md
@@ -8,7 +8,7 @@
* [GMP](https://gmplib.org/) 6.1.2
* [MPFR](http://www.mpfr.org/) 4.0.2
* [MPC](http://www.multiprecision.org/mpc/) 1.1.0
-* [isl](http://isl.gforge.inria.fr/) 0.20
+* [isl](http://isl.gforge.inria.fr/) 0.21
## Platforms
mingw-w64-build should run on Ubuntu, Cygwin, macOS (with Homebrew), and other Bash based shells.
diff --git a/mingw-w64-build b/mingw-w64-build
index 3fc0a87..1b86662 100755
--- a/mingw-w64-build
+++ b/mingw-w64-build
@@ -23,7 +23,7 @@ v_gcc="8svn"
v_gmp="6.1.2"
v_mpfr="4.0.2"
v_mpc="1.1.0"
-v_isl="0.20"
+v_isl="0.21"
show_help()
{