diff options
| author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2016-12-02 16:18:55 +0000 |
|---|---|---|
| committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2016-12-02 16:18:55 +0000 |
| commit | cd51021ddaa9c24efc80dd3b96433dd2246050d6 (patch) | |
| tree | b66d25032102210ee399071d6741a084d1350c96 /tweed.hashdist.yaml | |
| parent | 426c4b7fe18f2830bc4a05f06d2b5f720d525943 (diff) | |
| download | tweed-cd51021ddaa9c24efc80dd3b96433dd2246050d6.tar.gz | |
move FEniCS Developer Tools reference to profile file
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 |