Skip to content

Allow a more granular selection of third party library builds - #1425

Open
huelj wants to merge 1 commit into
uclouvain:masterfrom
huelj:master
Open

Allow a more granular selection of third party library builds#1425
huelj wants to merge 1 commit into
uclouvain:masterfrom
huelj:master

Conversation

@huelj

@huelj huelj commented May 25, 2022

Copy link
Copy Markdown

In some cases, only some libraries are needed and not all of them. Therefore there should be a way to only select the ones needed.
A build option was added for each third party library in order to make that selection.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant