1#!/usr/bin/env python3 2 3import os 4petsc_hash_pkgs=os.path.join(os.getenv('HOME'),'petsc-hash-pkgs') 5 6if __name__ == '__main__': 7 import sys 8 import os 9 sys.path.insert(0, os.path.abspath('config')) 10 import configure 11 configure_options = [ 12 '--package-prefix-hash='+petsc_hash_pkgs, 13 '--with-cudac=0', 14 '--download-f2cblaslapack', 15 '--download-blis', 16 '--download-mpich', 17 '--with-cc=clang', 18 '--with-cxx=clang++', 19 '--with-fc=0', 20 'CFLAGS=-mavx', 21 'COPTFLAGS=-g -O', 22 #'FOPTFLAGS=-g -O', 23 'CXXOPTFLAGS=-g -O', 24 '--download-codipack=1', 25 '--download-adblaslapack=1', 26 '--with-mpi-ftn-module=mpi_f08', 27 '--with-strict-petscerrorcode', 28 '--with-coverage', 29 ] 30 configure.petsc_configure(configure_options) 31