diff --git a/.travis/install.xdrfile b/.travis/install.xdrfile index 6b77b96f88aa8d11598522c59f16f3099ced0061..e30bb5a312f9b3088f660a7f5036b0504f21dc98 100755 --- a/.travis/install.xdrfile +++ b/.travis/install.xdrfile @@ -6,11 +6,12 @@ set -x cd "$(mktemp -dt plumed.XXXXXX)" echo "installing xdrfile library" -wget ftp://ftp.gromacs.org/pub/contrib/xdrfile-1.1.4.tar.gz +# wget ftp://ftp.gromacs.org/pub/contrib/xdrfile-1.1.4.tar.gz # xdrfile was removed from gromacs ftp # as a workaround I added a copy to people.sissa.it/~bussi/plumed # this complies with its license -# wget people.sissa.it/~bussi/plumed/xdrfile-1.1.4.tar.gz + +wget people.sissa.it/~bussi/plumed/xdrfile-1.1.4.tar.gz tar xzf xdrfile-1.1.4.tar.gz