aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKyle Schwarz <zeranoe@gmail.com>2018-04-07 23:14:40 -0400
committerKyle Schwarz <zeranoe@gmail.com>2018-04-07 23:14:40 -0400
commit6676e4e9d5f842fc801f5ed9cf0d3c753d260504 (patch)
treefaf1d5ab22b5580cd5d3c3abd5eba88fb9690a73
parentafcde3dfd621d9845c6de8935583c2e0cd9ee211 (diff)
Update isl to 0.19
-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 ecf0116..ce3b779 100644
--- a/README.md
+++ b/README.md
@@ -7,7 +7,7 @@
* [GMP](https://gmplib.org/) 6.1.2
* [MPFR](http://www.mpfr.org/) 4.0.1
* [MPC](http://www.multiprecision.org/mpc/) 1.1.0
-* [isl](http://isl.gforge.inria.fr/) 0.18
+* [isl](http://isl.gforge.inria.fr/) 0.19
## Platforms
mingw-w64-build has been tested on the following platforms:
diff --git a/mingw-w64-build b/mingw-w64-build
index 90689c2..28d069e 100755
--- a/mingw-w64-build
+++ b/mingw-w64-build
@@ -22,7 +22,7 @@ v_gcc="7.3.0"
v_gmp="6.1.2"
v_mpfr="4.0.1"
v_mpc="1.1.0"
-v_isl="0.18"
+v_isl="0.19"
show_help()
{