1#!/usr/bin/env python3 2 3import os 4petsc_hash_pkgs=os.path.join(os.getenv('HOME'),'petsc-hash-pkgs') 5if not os.path.isdir(petsc_hash_pkgs): os.mkdir(petsc_hash_pkgs) 6 7configure_options = [ 8 '--package-prefix-hash='+petsc_hash_pkgs, 9 '--with-clanguage=c', 10 '--with-shared-libraries=yes', 11 '--with-debugging=no', 12 '--download-mpich', 13 '--download-metis', 14 '--download-parmetis', 15 '--download-scalapack', 16 '--download-mumps', 17 '--download-zlib', 18 '--download-hdf5', 19 '--download-netcdf', 20 '--download-pnetcdf', 21 '--download-exodusii', 22 '--download-ml', 23 '--download-suitesparse', 24 '--download-triangle', 25 '--download-chaco', 26 '--download-ctetgen', 27] 28 29if __name__ == '__main__': 30 import sys,os 31 sys.path.insert(0,os.path.abspath('config')) 32 import configure 33 configure.petsc_configure(configure_options) 34