I have created a new repository: https://bitbucket.org/fenics-project/fenics-developer-tools
This contains scripts used for making releases, and the newly introduced fenics-install.sh, fenics-dev-install.sh and full-fenics-dev-install.sh. These scripts are now renamed to: * fenics-install.sh This is a user script for installing everything or only dependencies. * fenics-install-component.sh This is a script for installing a single component, similar to the old cmake.local. * fenics-install-all.sh This is a script for first calling fenics-install.sh to build only dependencies, then cloning and calling fenics-install-component.sh for all FEniCS components. There may still be some issues with these scripts (in particular the last one which I haven't yet tested but slightly modified) so please try them out and push your fixes. (Martin, this is your script full-fenics-dev-install.sh.) I think having a common and good way to build components is beneficial to many: new developers who don't know how, old developers who forgot how after some days/weeks of absense, etc. -- Anders
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
