Page MenuHomePhabricator

Docuent build fails if PDF generation tools are present
Closed, ResolvedPublic


Currently documentation build fails if PDF generation tools are available in the build environment.

The problem is caused by CMAKE_MAKE_PROGRAM not being set when the document creation targets are defined. As a result CMake generates “empty” targets which do not execute the final step of PDF generation.
The problem was triggered by project re-organization (moving secure fw build out of app territory) . The issue could have been avoided if the document generation cmake files did not missed checking the CMAKE_MAKE_PROGRAM which is an input of them.

Event Timeline

gyuri-szing triaged this task as Low priority.Sep 2 2019, 4:06 PM
gyuri-szing created this task.
gyuri-szing closed this task as Resolved.Sep 4 2019, 1:42 PM

Fix merged.