diff options
author | Kyle Schwarz <zeranoe@gmail.com> | 2018-04-07 23:14:40 -0400 |
---|---|---|
committer | Kyle Schwarz <zeranoe@gmail.com> | 2018-04-07 23:14:40 -0400 |
commit | 6676e4e9d5f842fc801f5ed9cf0d3c753d260504 (patch) | |
tree | faf1d5ab22b5580cd5d3c3abd5eba88fb9690a73 | |
parent | afcde3dfd621d9845c6de8935583c2e0cd9ee211 (diff) |
Update isl to 0.19
-rw-r--r-- | README.md | 2 | ||||
-rwxr-xr-x | mingw-w64-build | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -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() { |