Difference between revisions of "CMake Policies Design Discussion"

From KitwarePublic
Jump to navigationJump to search
(Replace content with link to new CMake community wiki)
 
(11 intermediate revisions by 2 users not shown)
Line 1: Line 1:
This page describes a proposal for a formal backwards/forwards compatibility feature.
{{CMake/Template/Moved}}


=Motivating Examples=
This page has moved [https://gitlab.kitware.com/cmake/community/wikis/doc/cmake/dev/Policies-Design-Discussion here].
 
==The ADD_DEFINITIONS Command==
 
Consider code such as
 
  add_definitions("-DFOO=\\\"hello\\ world\\\"")
 
which tries to add the option
 
  -DFOO=\"hello\ world\"
 
to the compile command line.  The code works in CMake 2.4's <code>Unix Makefiles</code> generator and produces a definition as if
 
  #define FOO "hello world"
 
appeared in the source code.  It works only because of the way the makefile generator happens to place the definition string in the command line.  It may not work with the VS IDE generators.
In CMake HEAD we provide the <code>COMPILE_DEFINITIONS</code> directory property so that one may write
 
  set_property(DIRECTORY PROPERTY COMPILE_DEFINITIONS "FOO=\"hello world\"")
 
to get the correct behavior on all generators.  Since CMake HEAD contains the appropriate escaping support it is desirable to allow the user to write
 
  add_definitions("-DFOO=\"hello world\"")
 
and get the expected behavior.  Unfortunately if we were to start escaping the definitions given to <code>add_definitions</code> we would break compatibility with projects that are already adding their own escapes.  In hindsight we should have either supported escapes from the beginning or make the command give an error that the definition value is not supported, but it is too late now.
A similar problem appears in the <code>add_custom_command</code> command where support for properly escaping all arguments was added late.  The solution currently used by that command is to require the user to add a <code>VERBATIM</code> argument to the command to get proper escaping.  Using that solution for <code>add_definitions</code> would make the user write
 
  add_definitions(VERBATIM "-DFOO=\"hello world\"")
 
just to get CMake to do the right thing.  For compatibility CMake would have to implement the wrong behavior by default forever.
 
==Missing Link Directories==
 
Projects used to be able to write this (wrong) code and it would work by accident:
 
  add_executable(myexe myexe.c)
  target_link_libraries(myexe /path/to/libA.so B)
 
where "<code>B</code>" is meant to link "<code>/path/to/libB.so</code>".  This code is incorrect
because it asks CMake to link to <code>B</code> but does not provide the proper
linker search path for it.  It used to work by accident because the
<code>-L/path/to</code> would get added as part of the implementation of linking to
A.  The correct code would be
 
  link_directories(/path/to)
  add_executable(myexe myexe.c)
  target_link_libraries(myexe /path/to/libA.so B)
 
or even better
 
  add_executable(myexe myexe.c)
  target_link_libraries(myexe /path/to/libA.so /path/to/libB.so)
 
Currently we provide the <code>CMAKE_OLD_LINK_PATHS</code> variable to allow projects or users to quickly work around the problem.  Full compatibility would require us to support thie behavior by default forever.  That would allow new projects to be written with the same bug.
 
An alternative is to require all libraries to be linked via full path (where target names are expanded automatically).  Whenever a non-full-path is given we could produce a warning that tells the user to start using <code>find_library</code> or something like that but then implement the old linker search path computation for compatibility.  It is desirable to let projects that have been updated for newer CMake versions tell CMake that they know what they are doing and to not warn or use the compatibility behavior.
 
=Proposed Solution=
 
We propose the following solution to this problem.
 
Each change that introduces a compatibility issue is assigned a new identification number (like CM00001 or something).  Then we try to detect cases in user code where it '''might''' be an issue and deal with it.  We can maintain in the implementation of CMake a mapping from feature id to a rule to deal with the issue when encountered.  The possible means of dealing with such cases are:
 
{| border="1"
|- bgcolor="#abcdef"
! Rule !! Behavior !! Meaning !! Default?
|-
| QUIET || old || Project suppresses the diagnostic || only in special cases
|-
| WARN || old || Emit warning when case is encountered || most cases
|-
| ERROR || none || Emit error when case is encountered || only for cases that can be detected with no false positives
|-
| FIXED || new || Project declares the case has been resolved || never? distant future release after creation of issue?
|-
| REQUIRED || new || Must use the new behavior || future CMake release, compatibility can be dropped but still checked for
|-
| REQUIRED_NO_CHECK || new || Must use the new behavior || future CMake release, compatibility is dropped as well as the code to check if the file uses this issue
|}
 
Several releases after a compatibility issue has been introduced we can remove implementation of support for the old behavior and set it to "REQUIRED" internally that requires a project to declare the issue FIXED or to be of a CMake version such that we know it would have generated warning. See the feature lifespan example.
 
==Proposed CMAKE_FEATURE Command==
 
We will introduce a new command for projects to use for setting the rule for each feature.
 
The signature
 
  cmake_feature(SET <feature-id> <QUIET|WARN|ERROR|FIXED>)
 
sets the current rule for the feature.  It is an error to specify a feature id that does not exist (because it might refer to a feature id introduced in a future version of CMake).
 
The signature
 
  cmake_feature(VERSION <major[.minor[.patch]]>)
 
sets the current rules for all features to match the preferred (new) behavior as of a given CMake version and also requires the running CMake to be at least that version.  The <code>cmake_minimum_required(VERSION)</code> command can do something similar (but use of new commands versus fixing other issues are distinct cases so the defaults may need to be different).
 
The signature
 
  cmake_feature(PUSH|POP)
 
pushes or pops the current feature state on a stack.  The stack is automatically pushed/popped when entering a new directory (under <code>add_subdirectory</code> for example).  Within a directory the number of PUSH and POP calls must match or it is an error.  This signature is useful in a .cmake script meant for inclusion in other projects.  It could write
 
  cmake_feature(PUSH)
  cmake_feature(SET CMF_00001 FIXED)
  ... code using CMF_00001 ...
  cmake_feature(POP)
 
The command could also provide an alias for each feature id that is more human readable:
 
  cmake_feature(SET CMF_ESCAPE_DEFINITIONS FIXED)
 
==Examples==
 
Let's define a few example feature ids
 
{| border="1"
|- bgcolor="#abcdef"
! Id !! Alias !! Description
|-
| CMF_00001 || CMF_ESCAPE_DEFINITIONS || Enable proper escaping of definitions added with ADD_DEFINITIONS
|-
| CMF_00002 || CMF_ESCAPE_CUSTOM_COMMANDS || Enable proper escaping of custom command lines with ADD_CUSTOM_COMMAND, make VERBATIM argument an error
|-
| CMF_00003 || CMF_NO_AUTOMATIC_LINK_PATHS || Disable generation of compatibility -L options on link lines
|}
 
The code
 
  add_definitions("-DFOO=\\\"hello\\ world\\\"")
 
can now produce a warning CMF_00001 that CMake does not know whether to escape the definition (only when a non-trivial value is given).
 
The project may suppress the warning in their release branch:
 
  project(FOO)
  cmake_feature(SET CMF_ESCAPE_DEFINITIONS QUIET)
  ...
  add_definitions("-DFOO=\\\"hello\\ world\\\"")
 
or fix the code:
 
  project(FOO)
  cmake_feature(SET CMF_ESCAPE_DEFINITIONS FIXED)
  ...
  add_definitions("-DFOO=\"hello world\"")
 
Either way CMake knows exactly how to handle the code and does not need to warn.
 
Similarly, the code
 
  add_custom_command(OUTPUT foo.txt COMMAND mycmd -with -some -arguments -out foo.txt)
 
may now produce a warning CMF_00002 that CMake does not know whether to escape the command.
The project may write
 
  project(FOO)
  cmake_feature(SET CMF_ESCAPE_CUSTOM_COMMANDS FIXED)
  ...
  add_custom_command(OUTPUT foo.txt COMMAND mycmd -with -some -arguments -out foo.txt)
 
to get rid of the warning and use proper escaping.
 
The code
 
  target_link_libraries(mytarget /path/to/libA.so B)
 
may now produce a warning CMF_00003 that library B may not have the correct link directory specified but then generate -L/path/to anyway.  The project may write
 
  project(FOO)
  cmake_feature(SET CMF_NO_AUTOMATIC_LINK_PATHS FIXED)
  ...
  link_directories(/path/to)
  target_link_libraries(mytarget /path/to/libA.so B)
 
Once the project has fixed all issues related to upgrading to CMake 2.6 it can just write
 
  project(FOO)
  cmake_feature(VERSION 2.6)
 
to get all the updated behavior.
 
==Feature Lifespan Example==
 
Using the CMF_00001 || CMF_ESCAPE_DEFINITIONS example above let's examine how it would work. In CMake 2.4 definitions had to be escaped by the user which probably does not work on MSVC etc. So in 2.6 we want to start switching over to having CMake handle the escaping.
 
* CMake 2.4: old behavior, issue CMF_0001 does not even exist
 
* CMake 2.6: issue CMF_0001 is created and set to WARN and version number 2.6. By default old projects will still work but will receive a warning if they use this feature. The issue can be either made QUIET <code>cmake_feature(SET CMF_0001 QUIET)</code> with no other changes to the CMakeLists file or the issue can be fixed by changing their code and setting it to FIXED <code>cmake_feature(SET CMF_0001 FIXED)</code>. Or they can ignore it and just live with the warnings.
 
* CMake 2.8: Nothing changes, stays as a warning
 
* CMake 2.10: We change the default value of issue CMF_0001 to REQUIRED. Now if the user's CMakeLists file sets the issue to QUITE or WARN CMake will produce an error indicating that that is no longer an option for feature CMF_0001 and the issue must be fixed or an earlier version of CMake used. But what if the CMakeList file does not specify anything about CMF_0001? In that case we do nothing if the feature is not used. If it is used, we look at the VERSION the CMakeList file was written to. If it was written to CMake 2.6 or later we assume it is fixed. If it is written to an earlier version we assume it is not fixed and report an error.
 
* CMake 2.12: We change the default value of issue CMF_0001 to REQUIRED_NO_CHECK. This is the same as required if the CMakeList file specifies anything about CMF_0001. But if it does not, then we produce an error if the CMakeLists file was written to CMake 2.4 or earlier. We do not check to see if they are using the feature at all. That code has been removed. They must have specified that they are using CMake 2.6 or later via cmake_minimum_required(2.6) or cmake_feature(VERSION 2.6) or later.
 
==Discussion==
 
This solution has the following advantages:
 
* All compatibility issues are documented and given unique identifiers
** Documentation can include association with CMake version ranges (when introduced, when REQUIRED, etc.)
* We can be more aggressive about detecting cases without worrying about false positives because it is just a warning
* When generating a warning or error message we can reference the feature id and tell the user what to do
* Projects can be converted to newer CMake features incrementally
* Project authors will be motivated by the warnings to update their code, but it will build for users without extra work
* Code written that does not hit one of these issues will work without any special declarations
** The hello-world example does not need to show version specification
* We have an exit-path to remove support for a compatibility feature eventually
** Make projects rule to FIXED explicitly or via VERSION specification
* Any compatibility bug introduced accidentally and reported by a user can be fixed in CMake by converting it to one of these issues
 
==Alternative Names==
 
I'm not happy with the current naming.  Perhaps the command could be <code>cmake_behavior</code> and <code>QUIET|WARN|ERROR|FIXED</code> should be <code>OLD|WARN|ERROR|NEW</code>:
 
  cmake_behavior(PUSH)
  cmake_behavior(SET CMB_00001 OLD)    # request old behavior
  cmake_behavior(SET CMB_00001 WARN)  # request old behavior with warning
  cmake_behavior(SET CMB_00001 ERROR)  # request error when case is encountered
  cmake_behavior(SET CMB_00001 NEW)    # request new behavior
  cmake_behavior(VERSION 2.6)          # request new behavior as of CMake 2.6
  cmake_behavior(POP)
 
Or perhaps "<code>cmake_policy</code>"
 
  cmake_policy(PUSH)
  cmake_policy(SET CMP_00001 OLD)    # request old policy
  cmake_policy(SET CMP_00001 WARN)    # request old policy with warning
  cmake_policy(SET CMP_00001 ERROR)  # request error when case is encountered
  cmake_policy(SET CMP_00001 NEW)    # request new policy
  cmake_policy(VERSION 2.6)          # request new policy as of CMake 2.6
  cmake_policy(POP)

Latest revision as of 10:41, 30 April 2018


The CMake community Wiki has moved to the Kitware GitLab Instance.

This page has moved here.