I fail when retrieving GMP, and I get 4next $:/PETSc3/petsc/petsc-dev$ wget --secure-protocol=TLSv1 https://gmplib.org/download/gmp/gmp-6.0.0a.tar.bz2 . wget --secure-protocol=TLSv1 https://gmplib.org/download/gmp/gmp-6.0.0a.tar.bz2 . --2018-03-21 21:33:42-- https://gmplib.org/download/gmp/gmp-6.0.0a.tar.bz2 Resolving gmplib.org (gmplib.org)... 130.242.124.102 Connecting to gmplib.org (gmplib.org)|130.242.124.102|:443... connected. Unable to establish SSL connection. --2018-03-21 21:33:43-- http://./ Resolving . (.)... failed: nodename nor servname provided, or not known. wget: unable to resolve host address `.' 4next $:/PETSc3/petsc/petsc-dev$ wget --no-check-certificate https://gmplib.org/download/gmp/gmp-6.0.0a.tar.bz2 . wget --no-check-certificate https://gmplib.org/download/gmp/gmp-6.0.0a.tar.bz2 . --2018-03-21 21:34:20-- https://gmplib.org/download/gmp/gmp-6.0.0a.tar.bz2 Resolving gmplib.org (gmplib.org)... 130.242.124.102 Connecting to gmplib.org (gmplib.org)|130.242.124.102|:443... connected. Unable to establish SSL connection. --2018-03-21 21:34:20-- http://./ Resolving . (.)... failed: nodename nor servname provided, or not known. wget: unable to resolve host address `.' 130next $:/PETSc3/petsc/petsc-dev$ curl https://gmplib.org/download/gmp/gmp-6.0.0a.tar.bz2 > gmp-6.0.0a.tar.bz2 curl https://gmplib.org/download/gmp/gmp-6.0.0a.tar.bz2 > gmp-6.0.0a.tar.bz2 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 2265k 100 2265k 0 0 288k 0 0:00:07 0:00:07 --:--:-- 408k next $:/PETSc3/petsc/petsc-dev$ file gmp-6.0.0a.tar.bz2 file gmp-6.0.0a.tar.bz2 gmp-6.0.0a.tar.bz2: bzip2 compressed data, block size = 900k
on my Mac. Matt -- What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead. -- Norbert Wiener https://www.cse.buffalo.edu/~knepley/ <http://www.caam.rice.edu/~mk51/>
