diff options
-rw-r--r-- | README.md | 2 | ||||
-rwxr-xr-x | mingw-w64-build | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -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() { |