1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
#!/usr/bin/env python
from __future__ import generators
import user
import config.base
import os
class Configure(config.base.Configure):
def __init__(self, framework):
config.base.Configure.__init__(self, framework)
self.headerPrefix = ''
self.substPrefix = ''
return
def __str__(self):
return ''
def setupHelp(self, help):
import nargs
return
def setupDependencies(self, framework):
config.base.Configure.setupDependencies(self, framework)
self.arch = framework.require('PETSc.utilities.arch', self)
return
def configureBmakeDir(self):
'''Makes $PETSC_ARCH and subdirectories if it does not exist'''
self.bmakeDir = os.path.join(self.arch.arch)
if not os.path.exists(self.bmakeDir):
os.makedirs(self.bmakeDir)
for i in ['include','lib','bin','conf']:
self.bmakeDir = os.path.join(self.arch.arch,i)
if not os.path.exists(self.bmakeDir):
os.makedirs(self.bmakeDir)
if os.path.isfile(self.framework.argDB.saveFilename):
os.remove(self.framework.argDB.saveFilename)
self.framework.argDB.saveFilename = os.path.abspath(os.path.join(self.bmakeDir, 'RDict.db'))
self.framework.logPrint('Changed persistence directory to '+self.bmakeDir)
return
def configure(self):
self.executeTest(self.configureBmakeDir)
return
|
