2020-04-10 15:49:10 +00:00
|
|
|
--- a/config/PETSc/Configure.orig.py 2020-03-30 05:33:12.000000000 +0200
|
|
|
|
|
+++ b/config/PETSc/Configure.py 2020-04-04 22:58:19.770481378 +0200
|
2020-11-20 11:35:13 +00:00
|
|
|
@@ -148,7 +148,7 @@
|
2020-04-10 15:49:10 +00:00
|
|
|
if not os.path.exists(os.path.join(self.petscdir.dir,self.arch.arch,'lib','pkgconfig')):
|
|
|
|
|
os.makedirs(os.path.join(self.petscdir.dir,self.arch.arch,'lib','pkgconfig'))
|
2020-11-20 11:35:13 +00:00
|
|
|
with open(os.path.join(self.petscdir.dir,self.arch.arch,'lib','pkgconfig',petsc_pc),'w') as fd:
|
|
|
|
|
- cflags_inc = ['-I${includedir}']
|
|
|
|
|
+ cflags_inc = ['-I${includedir}/petsc']
|
|
|
|
|
if self.framework.argDB['prefix']:
|
|
|
|
|
fd.write('prefix='+self.installdir.dir+'\n')
|
|
|
|
|
else:
|
