ok, thanks. I'll do the same. -- Anders
mån 25 maj 2015 kl 14:12 skrev Martin Sandve Alnæs <[email protected]>: > 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
