1#!/usr/bin/env python3 2 3import os 4 5configure_options = [ 6 '--with-cc=emcc', 7 '--with-cxx=0', 8 '--with-fc=0', 9 '--with-ranlib=emranlib', 10 '--with-ar=emar', 11 '--with-shared-libraries=0', 12 '--download-f2cblaslapack=1', 13 '--with-mpi=0', 14 '--with-batch', 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