Skip to content

Commit

Permalink
Exclude external software from --hide=all and --hide=optional
Browse files Browse the repository at this point in the history
  • Loading branch information
tornaria committed Nov 11, 2023
1 parent 5a755e9 commit 4a70c1e
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions src/sage/doctest/control.py
Original file line number Diff line number Diff line change
Expand Up @@ -457,11 +457,15 @@ def __init__(self, options, args):
options.hide.discard('all')
from sage.features.all import all_features
feature_names = {f.name for f in all_features() if not f.is_standard()}
from sage.doctest.external import external_software
feature_names.difference_update(external_software)
options.hide = options.hide.union(feature_names)
if 'optional' in options.hide:
options.hide.discard('optional')
from sage.features.all import all_features
feature_names = {f.name for f in all_features() if f.is_optional()}
from sage.doctest.external import external_software
feature_names.difference_update(external_software)
options.hide = options.hide.union(feature_names)

options.disabled_optional = set()
Expand Down

0 comments on commit 4a70c1e

Please sign in to comment.