1#!/usr/bin/python 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 7if __name__ == '__main__': 8 import sys 9 import os 10 sys.path.insert(0, os.path.abspath('config')) 11 import configure 12 configure_options = [ 13 '--package-prefix-hash='+petsc_hash_pkgs, 14 '--download-fblaslapack=1', 15 '--with-cc=win32fe icl', 16 '--with-cxx=win32fe icl', 17 '--with-fc=win32fe ifort', 18 '--with-mpi-include=[/cygdrive/c/PROGRA~2/MICROS~2/MPI/Include/,/cygdrive/c/PROGRA~2/MICROS~2/MPI/Include/x64]', 19 '--with-mpi-lib=[/cygdrive/c/PROGRA~2/MICROS~2/MPI/lib/x64/msmpifec.lib,/cygdrive/c/PROGRA~2/MICROS~2/MPI/lib/x64/msmpi.lib]', 20 '--with-mpiexec=/cygdrive/c/PROGRA~1/MICROS~2/Bin/mpiexec', 21 '--with-shared-libraries=0', 22 'DATAFILESPATH=c:/cygwin64/home/glci/datafiles', 23 ] 24 configure.petsc_configure(configure_options) 25