Skip to content

Conversation

@rubenwardy
Copy link
Contributor

@rubenwardy rubenwardy commented May 26, 2025

Fixes #16116
As per the discussion in #16116, move the compiling documentation from docs.luanti.org to the doc/ folder of the repo

Should "Improving build times" be in doc/ or docs.luanti.org?

The linux-server.md also feels redundant with linux.md, could linux.md be improved to document all vs client-only deps?

To do

This PR is Ready for Review.

How to test

See https://github.com/rubenwardy/minetest/tree/update-compiling-merge-docs/doc/compiling

@rubenwardy rubenwardy force-pushed the update-compiling-merge-docs branch from 996b489 to 901eb2d Compare May 26, 2025 18:34

These may reduce build times further, but at cost of some functionality being missing.

- `-DENABLE_LTO=OFF` to disable LTO which may make linking take longer than expected. This is disabled by default in Debug builds.
Copy link
Contributor

Choose a reason for hiding this comment

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

Maybe add -DCMAKE_CXX_COMPILER_LAUNCHER=ccache when recompiling often, or do we already have this somewhere else?

Copy link
Member

Choose a reason for hiding this comment

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

There was #14173, but it was abandoned. So I don't think anyone added doc or anything for ccache.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

@ Documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Docs: instructions to compile on Android are outdated

4 participants