Sorry, that's 14.04. On 8 December 2014 at 13:41, Martin Sandve Alnæs <[email protected]> wrote:
> Worked great on Ubuntu 13.04, total time 80 minutes. > > Martin > > On 8 December 2014 at 12:51, Anders Logg <[email protected]> wrote: > >> Great. >> >> And to everyone: please keep reporting successes/failures so we can get a >> feeling for how well this is working out. When reporting success/failure, >> please also report OS + version. >> >> -- >> Anders >> >> >> Mon Dec 08 2014 at 11:48:55 AM skrev Johannes Ring <[email protected]>: >> >>> On Mon, Dec 8, 2014 at 10:39 AM, Anders Logg <[email protected]> wrote: >>> > Ah ok. Then checking for wget or curl seems like a good option. >>> >>> I have fixed this now such that either wget or curl is used. >>> >>> Johannes >>> >>> > Mon Dec 08 2014 at 10:38:41 AM skrev Johannes Ring <[email protected] >>> >: >>> >> >>> >> On Mon, Dec 8, 2014 at 10:33 AM, Anders Logg <[email protected]> >>> wrote: >>> >> > Are there systems on which curl is more likely to be present? The >>> >> > toplevel >>> >> > command line assumes wget. >>> >> >>> >> wget is not available on OS X, unless you have something like Homebrew >>> >> or Macports. I assumed that most linux based systems would have curl >>> >> in addition to wget. >>> >> >>> >> Johannes >>> >> >
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
