Skip to content

Please allow the use of packages for all dependencies #350

@yurivict

Description

@yurivict

Currently, you have USE_LOCAL_THIRD_PARTY that uses local zip vs. the github copy.
There are packages available at least for adept, clp, catch, easyloggingpp, json, picosat.
The packages should be preferred.

Please add the cmake option USE_EXTERNAL_LIBRARIES that would look for pre-installed packages.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions