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
