1#!/usr/bin/env python3 2 3import os 4petsc_hash_pkgs=os.path.join(os.getenv('HOME'),'petsc-hash-pkgs') 5 6configure_options = [ 7 '--package-prefix-hash='+petsc_hash_pkgs, 8 'COPTFLAGS=-g -O', 9 'FOPTFLAGS=-g -O', 10 'CXXOPTFLAGS=-g -O', 11 '--with-scalar-type=complex', 12 '--with-precision=single', 13 '--with-petsc4py=1', 14 '--with-strict-petscerrorcode', 15 '--with-coverage', 16 ] 17 18if __name__ == '__main__': 19 import sys,os 20 sys.path.insert(0,os.path.abspath('config')) 21 import configure 22 configure.petsc_configure(configure_options) 23