1#!/usr/bin/python3 2 3import os 4petsc_hash_pkgs=os.path.join(os.getenv('HOME'),'petsc-hash-pkgs') 5 6if __name__ == '__main__': 7 import sys 8 import os 9 sys.path.insert(0, os.path.abspath('config')) 10 import configure 11 configure_options = [ 12 '--package-prefix-hash='+petsc_hash_pkgs, 13 '--with-64-bit-indices', 14 'FFLAGS=-Wall -ffree-line-length-0 -Wno-unused-dummy-argument -fdefault-integer-8', 15 '--with-mpi-dir=/nfs/gce/projects/petsc/soft/u22.04/mpich-4.0.2', 16 '--with-mpi-f90module-visibility=0', 17 '--with-strict-petscerrorcode', 18 '--with-coverage', 19 ] 20 configure.petsc_configure(configure_options) 21