From cd51021ddaa9c24efc80dd3b96433dd2246050d6 Mon Sep 17 00:00:00 2001 From: Paul Garlick Date: Fri, 2 Dec 2016 16:18:55 +0000 Subject: move FEniCS Developer Tools reference to profile file --- tweed.hashdist.yaml | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) (limited to 'tweed.hashdist.yaml') 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 . - -# 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 -- cgit