Package: petsc / 3.18.5+dfsg1-1

ptscotch_without_bison_MR5787.diff Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
Index: petsc/config/BuildSystem/config/package.py
===================================================================
--- petsc.orig/config/BuildSystem/config/package.py	2023-01-06 23:51:59.960977286 +0100
+++ petsc/config/BuildSystem/config/package.py	2023-01-06 23:51:59.952977215 +0100
@@ -904,7 +904,7 @@
       if not hasattr(package, 'found'):
         raise RuntimeError('Package '+package.name+' does not have found attribute!')
       if not package.found:
-        if self.argDB['with-'+package.package] == 1:
+        if 'with-'+package.package in self.framework.clArgDB and self.framework.clArgDB['with-'+package.package] == 1:
           raise RuntimeError('Package '+package.PACKAGE+' needed by '+self.name+' failed to configure.\nMail configure.log to petsc-maint@mcs.anl.gov.')
         else:
           str = ''