1#!/usr/bin/env python 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 'CFLAGS=-std=c89 -pedantic -Wno-long-long -Wno-overlength-strings', 9 '--with-precision=single', 10 '--with-debugging=0', 11 '--download-mpich', 12 ] 13 14if __name__ == '__main__': 15 import sys,os 16 sys.path.insert(0,os.path.abspath('config')) 17 import configure 18 configure.petsc_configure(configure_options) 19