/usr/lib/petscdir/3.7.5/x86_64-linux-gnu-real-debug/bin/configVars.py is in libpetsc3.7.5-dbg 3.7.5+dfsg1-4+b1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
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 | #! /usr/bin/python
import os, sys
sys.path.insert(0, os.path.join(os.environ['PETSC_DIR'], 'config'))
sys.path.insert(0, os.path.join(os.environ['PETSC_DIR'], 'config', 'BuildSystem'))
import script
class ConfigReader(script.Script):
def __init__(self):
import RDict
import os
argDB = RDict.RDict(None, None, 0, 0)
argDB.saveFilename = os.path.join(os.environ['PETSC_DIR'], os.environ['PETSC_ARCH'], 'lib','petsc','conf', 'RDict.db')
argDB.load()
script.Script.__init__(self, argDB = argDB)
return
def run(self):
self.setup()
framework = self.loadConfigure()
mpi = framework.require('config.packages.MPI', None)
print mpi.include, mpi.lib
arch = framework.require('PETSc.options.arch', None)
print arch.arch
print 'Configure is cached:',('configureCache' in self.argDB)
for k in framework.argDB.keys():
if k.startswith('known'):
print k,framework.argDB[k]
return
if __name__ == '__main__':
print 'Starting'
ConfigReader().run()
print 'Ending'
|