I have the date in the name. Martin 25. mai 2015 13.46 skrev "Anders Logg" <[email protected]>:
> 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 > >
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
