petsc/petsc-3.13.0-fix_pkgconfig_file.patch
2020-04-10 17:49:10 +02:00

12 lines
621 B
Diff

--- 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
@@ -147,7 +147,7 @@
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'))
fd = open(os.path.join(self.petscdir.dir,self.arch.arch,'lib','pkgconfig','PETSc.pc'),'w')
- cflags_inc = ['-I${includedir}']
+ cflags_inc = ['-I${includedir}/petsc']
if self.framework.argDB['prefix']:
fd.write('prefix='+self.installdir.dir+'\n')
else: