docs: def run_build(self, compiler=GCC, inputs=None, output=None):
          """Combined call of 'configure', 'make' and the compiler.
  
          The success of 'configure' and 'make' is optional.
          The arguments are the same as for run_compiler.
  
          """
          logger.info("Running build steps ...")
          self.run_configure(mandatory=False)
          self.run_make(mandatory=False)
          self.run_compiler(compiler=compiler,
                            inputs=inputs,
                            output=output)