Hello,
is there a way to uninstall packages/force a rebuild. I now have the
problem, that I have some packages in the hashdist directory but cannot
delete them as they have a different user. Some packages where build
with the wrong gcc stdc library and thus do not work.
Best,
Jo
--
Dipl.-Math. Johannes Neumann
Weierstraß-Institut für Angewandte
Analysis und Stochastik
Mohrenstraße 39
10117 Berlin
Tel. +49 (0)30 20372 567
_______________________________________________
fenics-support mailing list
[email protected]
http://fenicsproject.org/mailman/listinfo/fenics-support
