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-f2cblaslapack', 15 '--download-mpich', 16 '--with-cc=clang', 17 '--with-cxx=clang++', 18 '--with-fc=0', 19 'CFLAGS=-mavx', 20 'COPTFLAGS=-g -O', 21 #'FOPTFLAGS=-g -O', 22 'CXXOPTFLAGS=-g -O', 23 '--download-codipack=1', 24 '--download-adblaslapack=1', 25 ] 26 configure.petsc_configure(configure_options) 27