1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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):
|
