--- 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):