Skip to content

Replace configuration cache with compilation database file #110

Open
Open
Replace configuration cache with compilation database file#110
Labels
Feature: ConfigurationRelated to the --dry-run "make" invocation and settingsenhancementNew feature or request
Milestone
On Deck

Description

@andreeis
andreeis
opened on Feb 17, 2021

We will accept a PR about creating a compile_commands.json at the end of every configure. This file needs a caching that is very similar to the current configurationCache.log. Unify.
See relevant discussion about this idea and alternatives here: #107.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Feature: ConfigurationRelated to the --dry-run "make" invocation and settingsenhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions