Should probably change build script FENICS_HOME to FENICS_BUILD_HOME... This will do for now.
Should probably change build script FENICS_HOME to FENICS_BUILD_HOME... This will do for now.

FEniCS/docker