mirror of
https://github.com/Cantera/cantera.git
synced 2025-02-25 18:55:29 -06:00
[SCons] Use logging option to adjust Sphinx logging
This commit is contained in:
parent
6f95c67936
commit
553d5def17
2
.github/workflows/main.yml
vendored
2
.github/workflows/main.yml
vendored
@ -332,7 +332,7 @@ jobs:
|
||||
- name: Build Cantera
|
||||
run: python3 `which scons` build -j2 debug=n optimize=y use_pch=n
|
||||
- name: Build documentation
|
||||
run: python3 `which scons` sphinx doxygen
|
||||
run: python3 `which scons` sphinx doxygen logging=debug
|
||||
- name: Ensure 'scons help' options work
|
||||
run: |
|
||||
python3 `which scons` help --options
|
||||
|
@ -111,6 +111,8 @@ if localenv['doxygen_docs']:
|
||||
if localenv['sphinx_docs']:
|
||||
def build_sphinx(target, source, env):
|
||||
cmd = [env['sphinx_cmd']] + env['sphinx_options'].split()
|
||||
if env['logging'] == 'debug':
|
||||
cmd.append('-v')
|
||||
cmd += ('-b', 'html', '-d', 'build/doc/sphinx/doctrees', 'build/doc/sphinx',
|
||||
'build/doc/sphinx/html')
|
||||
code = subprocess.call(cmd, env=env['ENV'])
|
||||
|
Loading…
Reference in New Issue
Block a user