Shell configuration files /opt/lisa/os/.local.{bash,csh}rc should define THEANORC to include /opt/lisa/os/.local.theanorc as a configuration file.
/opt/lisa/os/.local.theanorc should include the right default values for the lab, in particular, blas.ldflags should contain ‘-lgoto’.