1#!/usr/bin/env 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 7configure_options = [ 8 '--package-prefix-hash='+petsc_hash_pkgs, 9 'COPTFLAGS=-g -O', 10 'FOPTFLAGS=-g -O', 11 'CXXOPTFLAGS=-g -O', 12 '--download-openblas', 13 '--download-openblas-64-bit-blas-indices=1', 14 '--download-openblas-make-options=TARGET=GENERIC', 15 ] 16 17if __name__ == '__main__': 18 import sys,os 19 sys.path.insert(0,os.path.abspath('config')) 20 import configure 21 configure.petsc_configure(configure_options) 22