petsc: archive configure.log make.log from the build (#27677)

Also enable verbose build
This commit is contained in:
Satish Balay 2021-11-29 17:10:50 -06:00 committed by GitHub
parent 02b4a65086
commit cb71308d22
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -519,7 +519,7 @@ def install(self, spec, prefix):
python('configure', '--prefix=%s' % prefix, *options) python('configure', '--prefix=%s' % prefix, *options)
# PETSc has its own way of doing parallel make. # PETSc has its own way of doing parallel make.
make('MAKE_NP=%s' % make_jobs, parallel=False) make('V=1 MAKE_NP=%s' % make_jobs, parallel=False)
make("install") make("install")
if self.run_tests: if self.run_tests:
@ -541,6 +541,11 @@ def setup_dependent_build_environment(self, env, dependent_spec):
env.set('PETSC_DIR', self.prefix) env.set('PETSC_DIR', self.prefix)
env.unset('PETSC_ARCH') env.unset('PETSC_ARCH')
@property
def archive_files(self):
return [join_path(self.stage.source_path, 'configure.log'),
join_path(self.stage.source_path, 'make.log')]
@property @property
def headers(self): def headers(self):
return find_headers('petsc', self.prefix.include, recursive=False) \ return find_headers('petsc', self.prefix.include, recursive=False) \