diff options
Diffstat (limited to 'math/slepc/files/patch-config_install.py')
| -rw-r--r-- | math/slepc/files/patch-config_install.py | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/math/slepc/files/patch-config_install.py b/math/slepc/files/patch-config_install.py new file mode 100644 index 000000000000..374309fdd9b0 --- /dev/null +++ b/math/slepc/files/patch-config_install.py @@ -0,0 +1,19 @@ +--- config/install.py.orig 2018-06-25 08:07:05 UTC ++++ config/install.py +@@ -295,11 +295,11 @@ for dir in dirs: + + def installShare(self): + self.copies.extend(self.copytree(self.rootShareDir, self.destShareDir)) +- if os.path.exists(os.path.join(self.destShareDir,'slepc','examples')): +- shutil.rmtree(os.path.join(self.destShareDir,'slepc','examples')) +- os.mkdir(os.path.join(self.destShareDir,'slepc','examples')) +- self.copyExamples(self.rootDir,os.path.join(self.destShareDir,'slepc','examples')) +- self.fixExamplesMakefile(os.path.join(self.destShareDir,'slepc','examples','makefile')) ++ if os.path.exists(os.path.join(self.destShareDir,'examples','slepc')): ++ shutil.rmtree(os.path.join(self.destShareDir,'examples','slepc')) ++ os.mkdir(os.path.join(self.destShareDir,'examples','slepc')) ++ self.copyExamples(self.rootDir,os.path.join(self.destShareDir,'examples','slepc')) ++ self.fixExamplesMakefile(os.path.join(self.destShareDir,'examples','slepc','makefile')) + return + + def copyLib(self, src, dst): |