diff options
Diffstat (limited to 'tweed.hashdist.yaml')
| -rw-r--r-- | tweed.hashdist.yaml | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/tweed.hashdist.yaml b/tweed.hashdist.yaml index d7bbded..f127dcb 100644 --- a/tweed.hashdist.yaml +++ b/tweed.hashdist.yaml @@ -15,13 +15,10 @@ # along with Tweed. If not, see <http://www.gnu.org/licenses/>. - -# The following debian packages should be installed when using this -# profile: -# -# git curl python-dev time build-essential gfortran freeglut3-dev - -# This profile file controls your <#> (HashDist) build environment. +# This profile file controls your <#> (HashDist) build environment. It is +# based on the file fenics.Linux.yaml, which is part of the FEniCS Developer +# Tools project, developed by Anders Logg, Johannes Ring et al. See +# https://bitbucket.org/fenics-project/fenics-developer-tools for details. extends: - file: linux.yaml |