|
Size: 718
Comment:
|
← Revision 3 as of 2023-10-10 05:27:31 ⇥
Size: 0
Comment: moved content to CMake
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| = How to add new files to the planner = New source code files can be added to the planner by adding them to {{{src/search/CMakeLists.txt}}}. We group our files into CMake libraries that can be enabled/disabled in a [[ObtainingAndRunningFastDownward#Manual_Builds|manual build]]. Libraries can have dependencies on other libraries. This dependency graph is used to enable all libraries needed for a manual build. For example, if a manual build only enables the library {{{potentials}}}, the library {{{lp_solver}}} will be compiled as well because the code for potential heuristics requires an LP solver. For details of how to define CMake libraries, see the documentation in {{{src/search/CMakeLists.txt}}}. |