Skip to content

Commit

Permalink
.vscode/settings.json (search.exclude): Replace incomplete list of sy…
Browse files Browse the repository at this point in the history
…mlinks by glob patterns
  • Loading branch information
Matthias Koeppe committed Oct 19, 2023
1 parent 3f3469e commit 8a2be7d
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 10 deletions.
15 changes: 8 additions & 7 deletions .vscode/settings.json
Original file line number Diff line number Diff line change
Expand Up @@ -8,13 +8,14 @@
"src/**/*.so": true
},
"search.exclude": {
"build/pkgs/sagemath_categories/src": true,
"build/pkgs/sagemath_objects/src": true,
"build/pkgs/sagelib/src": true,
"pkgs/sage-conf_pypi/sage_root/build": true,
"pkgs/sagemath-categories/sage": true,
"pkgs/sagemath-objects/sage": true,
"pkgs/sagemath-standard/sage": true
// Exclude symbolic links into SAGE_ROOT/pkgs/
"build/pkgs/*/src": true,
// Exclude symbolic links into SAGE_ROOT/src/
"pkgs/sage-conf_conda/sage_root": true,
"pkgs/sage-conf_pypi/sage_root": true,
"pkgs/sage-docbuild/sage_docbuild": true,
"pkgs/sage-setup/sage_setup": true,
"pkgs/sagemath-*/sage": true
},
"python.testing.pytestEnabled": true,
"python.testing.pytestArgs": [
Expand Down
3 changes: 0 additions & 3 deletions src/doc/en/developer/packaging_sage_library.rst
Original file line number Diff line number Diff line change
Expand Up @@ -190,9 +190,6 @@ The technique of using symbolic links pointing into ``SAGE_ROOT/src``
has allowed the modularization effort to keep the ``SAGE_ROOT/src``
tree monolithic: Modularization has been happening behind the scenes
and will not change where Sage developers find the source files.
When adding a new distribution package that uses a symbolic link pointing into
``SAGE_ROOT/src``, please update ``search.exclude`` in
``SAGE_ROOT/.vscode/settings.json``.

Some of these files may actually be generated from source files with suffix ``.m4`` by the
``SAGE_ROOT/bootstrap`` script via the ``m4`` macro processor.
Expand Down

0 comments on commit 8a2be7d

Please sign in to comment.