xref: /petsc/config/examples/arch-ci-linux-misc-dbg.py (revision 7f296bb328fcd4c99f2da7bfe8ba7ed8a4ebceee)
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-cudac=0',
9  '--download-netlib-lapack=1',
10  '--download-mpich=1',
11  '--download-cmake=1',
12  '--with-clanguage=C++',
13  '--with-debugging=1',
14  'COPTFLAGS=-g -O',
15  'FOPTFLAGS=-g -O',
16  'CXXOPTFLAGS=-g -O',
17  '--with-shared-libraries=0',
18  '--download-slepc=1',
19  '--download-bamg=1',
20  '--download-hpddm=1',
21  '--download-hdf5=1',
22  '--with-hdf5-cxx-bindings=1',
23  '--dowload-zlib=1',
24  '--with-strict-petscerrorcode',
25  '--with-coverage',
26  ]
27
28if __name__ == '__main__':
29  import sys,os
30  sys.path.insert(0,os.path.abspath('config'))
31  import configure
32  configure.petsc_configure(configure_options)
33