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-cc=mpicc', 9 '--with-fc=mpif90', 10 '--with-cxx=mpicxx', 11 12 '--download-sprng=1', 13 '--download-random123=1', 14 '--download-saws=1', 15 '--download-yaml=1', 16 '--download-scalapack=1', 17 '--download-strumpack=1', 18 '--download-mumps=1', 19 '--download-hypre=1', 20 '--download-ctetgen=1', 21 '--download-triangle=1', 22 '--download-p4est=1', 23 '--download-ml=1', 24 '--download-hpddm=1', 25 '--download-spai=1', 26 '--download-radau5=1', 27 #'--download-sundials2=1', 28 29 '--download-make=1', 30 '--download-metis=1', 31 '--download-parmetis=1', 32 '--download-superlu_dist=1', 33 '--download-hdf5=1', 34 '--download-netcdf=1', 35 '--download-pnetcdf=1', 36 '--download-zlib=1', 37 '--download-exodusii=1', 38 ] 39 40if __name__ == '__main__': 41 import sys,os 42 sys.path.insert(0,os.path.abspath('config')) 43 import configure 44 configure.petsc_configure(configure_options) 45