I have problems with the same server when Dorsal configures PETSc:
*******************************************************************************
UNABLE to CONFIGURE with GIVEN OPTIONS (see configure.log
for details):
-------------------------------------------------------------------------------
Unable to download package scotch from:
https://gforge.inria.fr/frs/download.php/28044/scotch_5.1.11_esmumps.tar.gz
* If URL specified manually - perhaps there is a typo?
* If your network is disconnected - please reconnect and rerun ./configure
* Alternatively, you can download the above URL manually, to
/yourselectedlocation/scotch_5.1.11_esmumps.tar.gz
and use the configure option:
--download-scotch=/yourselectedlocation/scotch_5.1.11_esmumps.tar.gz
*******************************************************************************
Johannes
On Fri, Dec 9, 2011 at 2:17 PM, <[email protected]> wrote:
> ------------------------------------------------------------
> revno: 666
> committer: Harish Narayanan <[email protected]>
> branch nick: dorsal
> timestamp: Fri 2011-12-09 14:09:16 +0100
> message:
> Mirrored scotch locally because upstream server is flaky
> modified:
> FEniCS/packages/scotch.package
>
>
> --
> lp:dorsal
> https://code.launchpad.net/~dorsal-core/dorsal/main
>
> Your team Dorsal Team is subscribed to branch lp:dorsal.
> To unsubscribe from this branch go to
> https://code.launchpad.net/~dorsal-core/dorsal/main/+edit-subscription
>
> === modified file 'FEniCS/packages/scotch.package'
> --- FEniCS/packages/scotch.package 2011-10-22 20:26:28 +0000
> +++ FEniCS/packages/scotch.package 2011-12-09 13:09:16 +0000
> @@ -1,5 +1,5 @@
> NAME=scotch_5.1.12b
> -SOURCE=https://gforge.inria.fr/frs/download.php/28977/
> +SOURCE=http://fenicsproject.org/pub/software/contrib/
> PACKING=.tar.gz
> BUILDCHAIN=autotools
> EXTRACTSTO=scotch_5.1.12/src
>
>
_______________________________________________
Mailing list: https://launchpad.net/~dorsal
Post to : [email protected]
Unsubscribe : https://launchpad.net/~dorsal
More help : https://help.launchpad.net/ListHelp
