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 '--with-debugging=yes', 9 'COPTFLAGS=-g -O', 10 'FOPTFLAGS=-g -O', 11 'CXXOPTFLAGS=-g -O', 12 '--with-clanguage=c', 13 '--with-shared-libraries=0', 14 '--with-single-library=0', 15 '--with-scalar-type=real', 16 '--with-64-bit-indices=yes', 17 '--with-precision=__float128', 18 '--download-mumps', 19 '--download-scalapack', 20 '--download-mpich', 21 '--download-f2cblaslapack', 22 '--with-strict-petscerrorcode', 23 '--with-coverage', 24] 25 26if __name__ == '__main__': 27 import sys,os 28 sys.path.insert(0,os.path.abspath('config')) 29 import configure 30 configure.petsc_configure(configure_options) 31