1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
--- config/install.py.orig 2018-10-02 22:50:33 UTC
+++ config/install.py
@@ -311,13 +311,13 @@ for dir in dirs:
def installShare(self):
self.copies.extend(self.copytree(self.rootShareDir, self.destShareDir))
- examplesdir=os.path.join(self.destShareDir,'slepc','examples')
- 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'))
+ examplesdir=os.path.join(self.destShareDir,'examples','slepc')
+ 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.copyConfig(self.rootDir,examplesdir)
- self.fixExamplesMakefile(os.path.join(self.destShareDir,'slepc','examples','makefile'))
+ self.fixExamplesMakefile(os.path.join(self.destShareDir,'examples','slepc','makefile'))
return
def copyLib(self, src, dst):
|
