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
