1#!/usr/bin/env python3 2 3import os 4petsc_hash_pkgs=os.path.join(os.getenv('HOME'),'petsc-hash-pkgs') 5 6configure_options = [ 7 '--package-prefix-hash='+petsc_hash_pkgs, 8 '--with-fc=0', 9 'COPTFLAGS=-g -O', 10 #'FOPTFLAGS=-g -O', 11 'CXXOPTFLAGS=-g -O', 12 '--download-boost=1', 13 '--download-f2cblaslapack=1', 14 '--with-f2cblaslapack-float128-bindings=1', 15 '--download-hpddm=1', 16 '--with-shared-libraries=1', 17 '--with-strict-petscerrorcode', 18 '--with-coverage', 19 ] 20 21if __name__ == '__main__': 22 import sys,os 23 sys.path.insert(0,os.path.abspath('config')) 24 import configure 25 configure.petsc_configure(configure_options) 26