When I rebuild the FEniCS + deps stack on my machine using fenics-install-all.sh, the new hashes get appended to my ~/.fenics_dev_aliases:
alias fenics-dev='source /Users/logg/opt/fenics-dev/hjelktfm47au/dev/fenics.conf' alias fenics-dev='source /Users/logg/opt/fenics-dev/lxlnmwrypwtf/dev/fenics.conf' So I end up with multiple copies using the same install name. I usually just set export FENICS_INSTALL_NAME='dev' when I run. How is this supposed to work? One solution would be to do export FENICS_INSTALL_NAME='fenics-yyyy-mm-dd' to get unique install names. Martin, how do you handle this? -- Anders
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
