2014-12-07 13:20 GMT+00:00 Johannes Ring <[email protected]>: > > I have updated the script now to build its own python. That should > hopefully fix this problem. >
Thanks Johannes! Is it recommended to delete ~/.hashdist before building FEniCS again or does hashdist take care of any required cleanup automatically? Cheers, Max
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
