xref: /petsc/config/configure.py (revision 2f613bf53f46f9356e00a2ca2bd69453be72fc31)
1#!/usr/bin/env python
2from __future__ import print_function
3import os, sys
4
5extraLogs = []
6petsc_arch = ''
7
8# Use en_US as language so that BuildSystem parses compiler messages in english
9def fixLang(lang):
10  if lang in os.environ and os.environ[lang] != '':
11    lv = os.environ[lang]
12    enc = ''
13    try: lv,enc = lv.split('.')
14    except: pass
15    if lv not in ['en_US','C']: lv = 'en_US'
16    if enc: lv = lv+'.'+enc
17    os.environ[lang] = lv
18
19fixLang('LC_LOCAL')
20fixLang('LANG')
21
22
23def check_for_option_mistakes(opts):
24  for opt in opts[1:]:
25    name = opt.split('=')[0]
26    if name.find(' ') >= 0:
27      raise ValueError('The option "'+name+'" has a space character in the name - this is likely incorrect usage.');
28    if name.find('_') >= 0:
29      exception = False
30      for exc in ['mkl_sparse', 'mkl_sparse_optimize', 'mkl_cpardiso', 'mkl_pardiso', 'superlu_dist', 'PETSC_ARCH', 'PETSC_DIR', 'CXX_CXXFLAGS', 'LD_SHARED', 'CC_LINKER_FLAGS', 'CXX_LINKER_FLAGS', 'FC_LINKER_FLAGS', 'AR_FLAGS', 'C_VERSION', 'CXX_VERSION', 'FC_VERSION', 'size_t', 'MPI_Comm','MPI_Fint','int64_t']:
31        if name.find(exc) >= 0:
32          exception = True
33      if not exception:
34        raise ValueError('The option '+name+' should probably be '+name.replace('_', '-'));
35    if opt.find('=') >=0:
36      optval = opt.split('=')[1]
37      if optval == 'ifneeded':
38        raise ValueError('The option '+opt+' should probably be '+opt.replace('ifneeded', '1'));
39    for exc in ['mkl_sparse', 'mkl_sparse_optimize', 'mkl_cpardiso', 'mkl_pardiso', 'superlu_dist']:
40      if name.find(exc.replace('_','-')) > -1:
41        raise ValueError('The option '+opt+' should be '+opt.replace(exc.replace('_','-'),exc));
42  return
43
44def check_for_unsupported_combinations(opts):
45  if '--with-precision=single' in opts and '--with-clanguage=cxx' in opts and '--with-scalar-type=complex' in opts:
46    sys.exit(ValueError('PETSc does not support single precision complex with C++ clanguage, run with --with-clanguage=c'))
47
48def check_for_option_changed(opts):
49# Document changes in command line options here.
50  optMap = [('with-64bit-indices','with-64-bit-indices'),
51            ('with-mpi-exec','with-mpiexec'),
52            ('c-blas-lapack','f2cblaslapack'),
53            ('cholmod','suitesparse'),
54            ('umfpack','suitesparse'),
55            ('matlabengine','matlab-engine'),
56            ('sundials','sundials2'),
57            ('f-blas-lapack','fblaslapack'),
58            ('with-packages-dir','with-packages-download-dir'),
59            ('with-external-packages-dir','with-packages-build-dir'),
60            ('package-dirs','with-packages-search-path'),
61            ('download-petsc4py-python','with-python-exec'),
62            ('search-dirs','with-executables-search-path')]
63  for opt in opts[1:]:
64    optname = opt.split('=')[0].strip('-')
65    for oldname,newname in optMap:
66      if optname.find(oldname) >=0 and not optname.find(newname) >=0:
67        raise ValueError('The option '+opt+' should probably be '+opt.replace(oldname,newname))
68  return
69
70def check_petsc_arch(opts):
71  # If PETSC_ARCH not specified - use script name (if not configure.py)
72  global petsc_arch
73  found = 0
74  for name in opts:
75    if name.find('PETSC_ARCH=') >= 0:
76      petsc_arch=name.split('=')[1]
77      found = 1
78      break
79  # If not yet specified - use the filename of script
80  if not found:
81      filename = os.path.basename(sys.argv[0])
82      if not filename.startswith('configure') and not filename.startswith('reconfigure') and not filename.startswith('setup'):
83        petsc_arch=os.path.splitext(os.path.basename(sys.argv[0]))[0]
84        useName = 'PETSC_ARCH='+petsc_arch
85        opts.append(useName)
86  return 0
87
88def chkenable():
89  #Replace all 'enable-'/'disable-' with 'with-'=0/1/tail
90  #enable-fortran is a special case, the resulting --with-fortran is ambiguous.
91  #Would it mean --with-fc=
92  en_dash = u'\N{EN DASH}'
93  if sys.version_info < (3, 0):
94    en_dash = en_dash.encode('utf-8')
95  for l in range(0,len(sys.argv)):
96    name = sys.argv[l]
97
98    if name.find(en_dash)  >= 0:
99      sys.argv[l] = name.replace(en_dash,'-')
100    if name.lstrip('-').startswith('enable-cxx'):
101      if name.find('=') == -1:
102        sys.argv[l] = name.replace('enable-cxx','with-clanguage=C++',1)
103      else:
104        head, tail = name.split('=', 1)
105        if tail=='0':
106          sys.argv[l] = head.replace('enable-cxx','with-clanguage=C',1)
107        else:
108          sys.argv[l] = head.replace('enable-cxx','with-clanguage=C++',1)
109      continue
110    if name.lstrip('-').startswith('disable-cxx'):
111      if name.find('=') == -1:
112        sys.argv[l] = name.replace('disable-cxx','with-clanguage=C',1)
113      else:
114        head, tail = name.split('=', 1)
115        if tail == '0':
116          sys.argv[l] = head.replace('disable-cxx','with-clanguage=C++',1)
117        else:
118          sys.argv[l] = head.replace('disable-cxx','with-clanguage=C',1)
119      continue
120
121
122    if name.lstrip('-').startswith('enable-'):
123      if name.find('=') == -1:
124        sys.argv[l] = name.replace('enable-','with-',1)+'=1'
125      else:
126        head, tail = name.split('=', 1)
127        sys.argv[l] = head.replace('enable-','with-',1)+'='+tail
128    if name.lstrip('-').startswith('disable-'):
129      if name.find('=') == -1:
130        sys.argv[l] = name.replace('disable-','with-',1)+'=0'
131      else:
132        head, tail = name.split('=', 1)
133        if tail == '1': tail = '0'
134        sys.argv[l] = head.replace('disable-','with-',1)+'='+tail
135    if name.lstrip('-').startswith('without-'):
136      if name.find('=') == -1:
137        sys.argv[l] = name.replace('without-','with-',1)+'=0'
138      else:
139        head, tail = name.split('=', 1)
140        if tail == '1': tail = '0'
141        sys.argv[l] = head.replace('without-','with-',1)+'='+tail
142
143def chksynonyms():
144  #replace common configure options with ones that PETSc BuildSystem recognizes
145  simplereplacements = {'F77' : 'FC', 'F90' : 'FC'}
146  for l in range(0,len(sys.argv)):
147    name = sys.argv[l]
148
149    name = name.replace('download-petsc4py','with-petsc4py')
150    name = name.replace('with-openmpi','with-mpi')
151    name = name.replace('with-mpich','with-mpi')
152    name = name.replace('with-blas-lapack','with-blaslapack')
153    name = name.replace('with-cuda-gencodearch','with-cuda-arch')
154
155    if name.find('with-debug=') >= 0 or name.endswith('with-debug'):
156      if name.find('=') == -1:
157        name = name.replace('with-debug','with-debugging')+'=1'
158      else:
159        head, tail = name.split('=', 1)
160        name = head.replace('with-debug','with-debugging')+'='+tail
161
162    if name.find('with-shared=') >= 0 or name.endswith('with-shared'):
163      if name.find('=') == -1:
164        name = name.replace('with-shared','with-shared-libraries')+'=1'
165      else:
166        head, tail = name.split('=', 1)
167        name = head.replace('with-shared','with-shared-libraries')+'='+tail
168
169    if name.find('with-index-size=') >=0:
170      head,tail = name.split('=',1)
171      if int(tail)==32:
172        name = '--with-64-bit-indices=0'
173      elif int(tail)==64:
174        name = '--with-64-bit-indices=1'
175      else:
176        raise RuntimeError('--with-index-size= must be 32 or 64')
177
178    if name.find('with-precision=') >=0:
179      head,tail = name.split('=',1)
180      if tail.find('quad')>=0:
181        name='--with-precision=__float128'
182
183    for i,j in simplereplacements.items():
184      if name.find(i+'=') >= 0:
185        name = name.replace(i+'=',j+'=')
186      elif name.find('with-'+i.lower()+'=') >= 0:
187        name = name.replace(i.lower()+'=',j.lower()+'=')
188
189    # restore 'sys.argv[l]' from the intermediate var 'name'
190    sys.argv[l] = name
191
192def chkwincompilerusinglink():
193  for arg in sys.argv:
194    if (arg.find('win32fe') >= 0 and (arg.find('f90') >=0 or arg.find('ifort') >=0 or arg.find('icl') >=0)):
195      return 1
196  return 0
197
198def chkdosfiles():
199  # cygwin - but not a hg clone - so check one of files in bin dir
200  if b"\r\n" in open(os.path.join('lib','petsc','bin','petscmpiexec'),"rb").read():
201    print('===============================================================================')
202    print(' *** Scripts are in DOS mode. Was winzip used to extract petsc sources?    ****')
203    print(' *** Please restart with a fresh tarball and use "tar -xzf petsc.tar.gz"   ****')
204    print('===============================================================================')
205    sys.exit(3)
206  return
207
208def chkcygwinlink():
209  if os.path.exists('/usr/bin/cygcheck.exe') and os.path.exists('/usr/bin/link.exe') and chkwincompilerusinglink():
210      if '--ignore-cygwin-link' in sys.argv: return 0
211      print('===============================================================================')
212      print(' *** Cygwin /usr/bin/link detected! Compiles with Intel icl/ifort can break!  **')
213      print(' *** To workaround do: "mv /usr/bin/link.exe /usr/bin/link-cygwin.exe"     **')
214      print(' *** Or to ignore this check, use configure option: --ignore-cygwin-link. But compiles can fail. **')
215      print('===============================================================================')
216      sys.exit(3)
217  return 0
218
219def chkbrokencygwin():
220  if os.path.exists('/usr/bin/cygcheck.exe'):
221    buf = os.popen('/usr/bin/cygcheck.exe -c cygwin').read()
222    if buf.find('1.5.11-1') > -1:
223      print('===============================================================================')
224      print(' *** cygwin-1.5.11-1 detected. ./configure fails with this version ***')
225      print(' *** Please upgrade to cygwin-1.5.12-1 or newer version. This can  ***')
226      print(' *** be done by running cygwin-setup, selecting "next" all the way.***')
227      print('===============================================================================')
228      sys.exit(3)
229  return 0
230
231def chkusingwindowspython():
232  if sys.platform == 'win32':
233    print('===============================================================================')
234    print(' *** Windows python detected. Please rerun ./configure with cygwin-python. ***')
235    print('===============================================================================')
236    sys.exit(3)
237  return 0
238
239def chkcygwinpython():
240  if sys.platform == 'cygwin' :
241    import platform
242    import re
243    r=re.compile("([0-9]+).([0-9]+).([0-9]+)")
244    m=r.match(platform.release())
245    major=int(m.group(1))
246    minor=int(m.group(2))
247    subminor=int(m.group(3))
248    if ((major < 1) or (major == 1 and minor < 7) or (major == 1 and minor == 7 and subminor < 34)):
249      sys.argv.append('--useThreads=0')
250      extraLogs.append('''\
251===============================================================================
252** Cygwin version is older than 1.7.34. Python threads do not work correctly. ***
253** Disabling thread usage for this run of ./configure *******
254===============================================================================''')
255  return 0
256
257def chkcygwinwindowscompilers():
258  '''Adds win32fe for Microsoft/Intel compilers'''
259  if os.path.exists('/usr/bin/cygcheck.exe'):
260    for l in range(1,len(sys.argv)):
261      option = sys.argv[l]
262      for i in ['cl','icl','ifort']:
263        if option.startswith(i):
264          sys.argv[l] = 'win32fe '+option
265          break
266  return 0
267
268def chkrhl9():
269  if os.path.exists('/etc/redhat-release'):
270    try:
271      file = open('/etc/redhat-release','r')
272      buf = file.read()
273      file.close()
274    except:
275      # can't read file - assume dangerous RHL9
276      buf = 'Shrike'
277    if buf.find('Shrike') > -1:
278      sys.argv.append('--useThreads=0')
279      extraLogs.append('''\
280==============================================================================
281   *** RHL9 detected. Threads do not work correctly with this distribution ***
282   ****** Disabling thread usage for this run of ./configure *********
283===============================================================================''')
284  return 0
285
286def chktmpnoexec():
287  if not hasattr(os,'ST_NOEXEC'): return # novermin
288  if 'TMPDIR' in os.environ: tmpDir = os.environ['TMPDIR']
289  else: tmpDir = '/tmp'
290  if os.statvfs(tmpDir).f_flag & os.ST_NOEXEC: # novermin
291    if os.statvfs(os.path.abspath('.')).f_flag & os.ST_NOEXEC: # novermin
292      print('************************************************************************')
293      print('* TMPDIR '+tmpDir+' has noexec attribute. Same with '+os.path.abspath('.')+' where petsc is built.')
294      print('* Suggest building PETSc in a location without this restriction!')
295      print('* Alternatively, set env variable TMPDIR to a location that is not restricted to run binaries.')
296      print('************************************************************************')
297      sys.exit(4)
298    else:
299      newTmp = os.path.abspath('tmp-petsc')
300      print('************************************************************************')
301      print('* TMPDIR '+tmpDir+' has noexec attribute. Using '+newTmp+' instead.')
302      print('************************************************************************')
303      if not os.path.isdir(newTmp): os.mkdir(os.path.abspath(newTmp))
304      os.environ['TMPDIR'] = newTmp
305  return
306
307def check_cray_modules():
308  import script
309  '''For Cray systems check if the cc, CC, ftn compiler suite modules have been set'''
310  cray = os.getenv('CRAY_SITE_LIST_DIR')
311  if not cray: return
312  cray = os.getenv('CRAYPE_DIR')
313  if not cray:
314   print('************************************************************************')
315   print('* You are on a Cray system but no programming environments have been loaded')
316   print('* Perhaps you need:')
317   print('*       module load intel ; module load PrgEnv-intel')
318   print('*   or  module load PrgEnv-cray')
319   print('*   or  module load PrgEnv-gnu')
320   print('* See https://petsc.org/release/install/install/#installing-on-large-scale-doe-systems')
321   print('************************************************************************')
322   sys.exit(4)
323
324def check_broken_configure_log_links():
325  '''Sometime symlinks can get broken if the original files are deleted. Delete such broken links'''
326  import os
327  for logfile in ['configure.log','configure.log.bkp']:
328    if os.path.islink(logfile) and not os.path.isfile(logfile): os.remove(logfile)
329  return
330
331def move_configure_log(framework):
332  '''Move configure.log to PETSC_ARCH/lib/petsc/conf - and update configure.log.bkp in both locations appropriately'''
333  global petsc_arch
334
335  if hasattr(framework,'arch'): petsc_arch = framework.arch
336  if hasattr(framework,'logName'): curr_file = framework.logName
337  else: curr_file = 'configure.log'
338
339  if petsc_arch:
340    import shutil
341    import os
342
343    # Just in case - confdir is not created
344    lib_dir = os.path.join(petsc_arch,'lib')
345    petsc_dir = os.path.join(petsc_arch,'lib','petsc')
346    conf_dir = os.path.join(petsc_arch,'lib','petsc','conf')
347    if not os.path.isdir(petsc_arch): os.mkdir(petsc_arch)
348    if not os.path.isdir(lib_dir): os.mkdir(lib_dir)
349    if not os.path.isdir(petsc_dir): os.mkdir(petsc_dir)
350    if not os.path.isdir(conf_dir): os.mkdir(conf_dir)
351
352    curr_bkp  = curr_file + '.bkp'
353    new_file  = os.path.join(conf_dir,curr_file)
354    new_bkp   = new_file + '.bkp'
355
356    # Keep backup in $PETSC_ARCH/lib/petsc/conf location
357    if os.path.isfile(new_bkp): os.remove(new_bkp)
358    if os.path.isfile(new_file): os.rename(new_file,new_bkp)
359    if os.path.isfile(curr_file):
360      shutil.copyfile(curr_file,new_file)
361      os.remove(curr_file)
362    if os.path.isfile(new_file): os.symlink(new_file,curr_file)
363    # If the old bkp is using the same PETSC_ARCH/lib/petsc/conf - then update bkp link
364    if os.path.realpath(curr_bkp) == os.path.realpath(new_file):
365      if os.path.isfile(curr_bkp): os.remove(curr_bkp)
366      if os.path.isfile(new_bkp): os.symlink(new_bkp,curr_bkp)
367  return
368
369def print_final_timestamp(framework):
370  import time
371  framework.log.write(('='*80)+'\n')
372  framework.log.write('Finishing configure run at '+time.strftime('%a, %d %b %Y %H:%M:%S %z')+'\n')
373  framework.log.write(('='*80)+'\n')
374  return
375
376def petsc_configure(configure_options):
377  if 'PETSC_DIR' in os.environ:
378    petscdir = os.environ['PETSC_DIR']
379    if petscdir.find(' ') > -1:
380      raise RuntimeError('Your PETSC_DIR '+petscdir+' has spaces in it; this is not allowed.\n Change the directory with PETSc to not have spaces in it')
381    if not os.path.isabs(petscdir):
382      raise RuntimeError('PETSC_DIR ("'+petscdir+'") is set as a relative path. It must be set as an absolute path.')
383
384    try:
385      sys.path.append(os.path.join(petscdir,'lib','petsc','bin'))
386      import petscnagupgrade
387      file     = os.path.join(petscdir,'.nagged')
388      if not petscnagupgrade.naggedtoday(file):
389        petscnagupgrade.currentversion(petscdir)
390    except:
391      pass
392  print('=============================================================================================')
393  print('                      Configuring PETSc to compile on your system                            ')
394  print('=============================================================================================')
395
396  try:
397    # Command line arguments take precedence (but don't destroy argv[0])
398    sys.argv = sys.argv[:1] + configure_options + sys.argv[1:]
399    check_for_option_mistakes(sys.argv)
400    check_for_option_changed(sys.argv)
401  except (TypeError, ValueError) as e:
402    emsg = str(e)
403    if not emsg.endswith('\n'): emsg = emsg+'\n'
404    msg ='*******************************************************************************\n'\
405    +'                ERROR in COMMAND LINE ARGUMENT to ./configure \n' \
406    +'-------------------------------------------------------------------------------\n'  \
407    +emsg+'*******************************************************************************\n'
408    sys.exit(msg)
409  # check PETSC_ARCH
410  check_for_unsupported_combinations(sys.argv)
411  check_petsc_arch(sys.argv)
412  check_broken_configure_log_links()
413
414  #rename '--enable-' to '--with-'
415  chkenable()
416  # support a few standard configure option types
417  chksynonyms()
418  # Check for broken cygwin
419  chkbrokencygwin()
420  # Disable threads on RHL9
421  chkrhl9()
422  # Make sure cygwin-python is used on windows
423  chkusingwindowspython()
424  # Threads don't work for cygwin & python...
425  chkcygwinpython()
426  chkcygwinlink()
427  chkdosfiles()
428  chkcygwinwindowscompilers()
429  chktmpnoexec()
430
431  for l in range(1,len(sys.argv)):
432    if sys.argv[l].startswith('--with-fc=') and sys.argv[l].endswith('nagfor'):
433      # need a way to save this value and later CC so that petscnagfor may use them
434      name = sys.argv[l].split('=')[1]
435      sys.argv[l] = '--with-fc='+os.path.join(os.path.abspath('.'),'lib','petsc','bin','petscnagfor')
436      break
437
438
439  # Should be run from the toplevel
440  configDir = os.path.abspath('config')
441  bsDir     = os.path.join(configDir, 'BuildSystem')
442  if not os.path.isdir(configDir):
443    raise RuntimeError('Run configure from $PETSC_DIR, not '+os.path.abspath('.'))
444  sys.path.insert(0, bsDir)
445  sys.path.insert(0, configDir)
446  import config.base
447  import config.framework
448  import pickle
449  import traceback
450
451  # Check Cray without modules
452  check_cray_modules()
453
454  tbo = None
455  framework = None
456  try:
457    framework = config.framework.Framework(['--configModules=PETSc.Configure','--optionsModule=config.compilerOptions']+sys.argv[1:], loadArgDB = 0)
458    framework.setup()
459    framework.logPrint('\n'.join(extraLogs))
460    framework.configure(out = sys.stdout)
461    framework.storeSubstitutions(framework.argDB)
462    framework.argDB['configureCache'] = pickle.dumps(framework)
463    framework.printSummary()
464    framework.argDB.save(force = True)
465    framework.logClear()
466    print_final_timestamp(framework)
467    framework.closeLog()
468    try:
469      move_configure_log(framework)
470    except:
471      # perhaps print an error about unable to shuffle logs?
472      pass
473    return 0
474  except (RuntimeError, config.base.ConfigureSetupError) as e:
475    tbo = sys.exc_info()[2]
476    emsg = str(e)
477    if not emsg.endswith('\n'): emsg = emsg+'\n'
478    msg ='*******************************************************************************\n'\
479    +'         UNABLE to CONFIGURE with GIVEN OPTIONS    (see configure.log for details):\n' \
480    +'-------------------------------------------------------------------------------\n'  \
481    +emsg+'*******************************************************************************\n'
482    se = ''
483  except (TypeError, ValueError) as e:
484    # this exception is automatically deleted by Python so we need to save it to print below
485    tbo = sys.exc_info()[2]
486    emsg = str(e)
487    if not emsg.endswith('\n'): emsg = emsg+'\n'
488    msg ='*******************************************************************************\n'\
489    +'    TypeError or ValueError possibly related to ERROR in COMMAND LINE ARGUMENT while running ./configure \n' \
490    +'-------------------------------------------------------------------------------\n'  \
491    +emsg+'*******************************************************************************\n'
492    se = ''
493  except ImportError as e :
494    # this exception is automatically deleted by Python so we need to save it to print below
495    tbo = sys.exc_info()[2]
496    emsg = str(e)
497    if not emsg.endswith('\n'): emsg = emsg+'\n'
498    msg ='*******************************************************************************\n'\
499    +'                     ImportError while runing ./configure \n' \
500    +'-------------------------------------------------------------------------------\n'  \
501    +emsg+'*******************************************************************************\n'
502    se = ''
503  except OSError as e :
504    tbo = sys.exc_info()[2]
505    emsg = str(e)
506    if not emsg.endswith('\n'): emsg = emsg+'\n'
507    msg ='*******************************************************************************\n'\
508    +'                    OSError while running ./configure \n' \
509    +'-------------------------------------------------------------------------------\n'  \
510    +emsg+'*******************************************************************************\n'
511    se = ''
512  except SystemExit as e:
513    tbo = sys.exc_info()[2]
514    if e.code is None or e.code == 0:
515      return
516    if e.code == 10:
517      sys.exit(10)
518    msg ='*******************************************************************************\n'\
519    +'         CONFIGURATION FAILURE  (Please send configure.log to petsc-maint@mcs.anl.gov)\n' \
520    +'*******************************************************************************\n'
521    se  = str(e)
522  except Exception as e:
523    tbo = sys.exc_info()[2]
524    msg ='*******************************************************************************\n'\
525    +'        CONFIGURATION CRASH  (Please send configure.log to petsc-maint@mcs.anl.gov)\n' \
526    +'*******************************************************************************\n'
527    se  = str(e)
528
529  print(msg)
530  if not framework is None:
531    framework.logClear()
532    if hasattr(framework, 'log'):
533      try:
534        if hasattr(framework,'compilerDefines'):
535          framework.log.write('**** Configure header '+framework.compilerDefines+' ****\n')
536          framework.outputHeader(framework.log)
537        if hasattr(framework,'compilerFixes'):
538          framework.log.write('**** C specific Configure header '+framework.compilerFixes+' ****\n')
539          framework.outputCHeader(framework.log)
540      except Exception as e:
541        framework.log.write('Problem writing headers to log: '+str(e))
542      try:
543        framework.log.write(msg+se)
544        traceback.print_tb(tbo, file = framework.log)
545        print_final_timestamp(framework)
546        if hasattr(framework,'log'): framework.log.close()
547        move_configure_log(framework)
548      except Exception as e:
549        print('Error printing error message from exception or printing the traceback:'+str(e))
550        traceback.print_tb(sys.exc_info()[2])
551      sys.exit(1)
552    else:
553      print(se)
554      traceback.print_tb(tbo)
555  else:
556    print(se)
557    traceback.print_tb(tbo)
558  if hasattr(framework,'log'): framework.log.close()
559
560if __name__ == '__main__':
561  petsc_configure([])
562