Users of fenics-install-all.sh from fenics-developer-tools, be aware of a
change I just pushed:
'''
Add fenics install name to default source prefix to avoid issues in
reinstall with a new profile. Used can still override by setting
FENICS_SOURCE_PREFIX=~/dev/fenics-dev manually as before.
'''
For example, this means that when I ran these commands:
export FENICS_INSTALL_NAME=foobar
fenics-install-all.sh
the fenics git repositories were installed under:
~/dev/fenics-dev/foobar/{ufl,ffc,dolfin,...}
I added this simple fix because the script didn't deal robustly with
updating existing repositories from a previous installation.
If you don't like it you can get the old behaviour by adding
export FENICS_SOURCE_PREFIX=~/dev/fenics-dev
before running fenics-install-all.sh.
Martin
_______________________________________________
fenics mailing list
[email protected]
http://fenicsproject.org/mailman/listinfo/fenics
