Skip to content

build: fix ctags target name and filter missing directories#5559

Merged
fruffy merged 4 commits intop4lang:mainfrom
Vineet1101:fix-ctags-target
Mar 28, 2026
Merged

build: fix ctags target name and filter missing directories#5559
fruffy merged 4 commits intop4lang:mainfrom
Vineet1101:fix-ctags-target

Conversation

@Vineet1101
Copy link
Copy Markdown
Contributor

Fixes #5530.

All targets now execute cleanly.

Tested on Ubuntu with exuberant-ctags installed here are the logs from the terminal:

$ cmake --build build --target ctags && cmake --build build --target etags
[100%] Generating ctags
[100%] Built target ctags
[100%] Generating extended ctags
[100%] Built target etags

Vineet1101 and others added 2 commits March 24, 2026 15:05
Fixes p4lang#5530.

- Rename the target from 'tags' to 'ctags' to match user expectations
  and dependencies in other CMakeLists.txt files.
- Filter the CTAGS_DIRS list to only include directories that actually
  exist, removing the missing 'extensions' directory warning.

Signed-off-by: Vineet1101 <vineetgoel692@gmail.com>
@fruffy fruffy added the infrastructure Topics related to code style and build and test infrastructure. label Mar 24, 2026
@fruffy fruffy requested a review from ChrisDodd March 24, 2026 23:52
@fruffy fruffy requested a review from jafingerhut March 28, 2026 02:18
Copy link
Copy Markdown
Contributor

@jafingerhut jafingerhut left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I have tried out these changes on a local VM, and I can build both ctags and etags targets with neither errors nor warnings. LGTM

@fruffy fruffy added this pull request to the merge queue Mar 28, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 28, 2026
@fruffy fruffy added this pull request to the merge queue Mar 28, 2026
Merged via the queue into p4lang:main with commit a060f92 Mar 28, 2026
19 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

infrastructure Topics related to code style and build and test infrastructure.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

ctags build target does not work

3 participants