Skip to content

Add cmake macro for installation symlinks #5430

Closed
@markrtuttle

Description

@markrtuttle

In the pull request 5419, @hannes-steffenhagen-diffblue proposes a macro to create the symlinks during installation to installed binaries and man pages. This will make the cmake files easier to read and be less error prone than the current cut-and-paste implementation. This will also give an opportunity to warn about using DESTDIR on Windows: The use of DESTDIR is not recommended on Windows.

Metadata

Metadata

Assignees

No one assigned

    Labels

    awsBugs or features of importance to AWS CBMC users

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions