search

microsoft / Trieste

A term rewriting system for experimental programming language development.
MIT License
37 stars 20 forks source link

Updated uses of FetchContent #112

Open mjp41 opened 3 months ago

mjp41 commented 3 months ago

Using FetchContent adds all the subprojects build targets. This removes those targets using a slightly different way of including the directories that uses EXCLUDE_FROM_ALL.

This should reduce the number of build targets exposed.

mjp41 commented 3 months ago

@davidchisnall I think the way we were using FetchContent was causing lots of targets to leak. This should hopefully help with https://github.com/microsoft/rego-cpp/issues/125

I will apply this change to rego-cpp too.

matajoh commented 3 months ago

LGTM