Skip to content
This repository was archived by the owner on May 9, 2024. It is now read-only.

[CI] Naming #448

Merged
merged 1 commit into from
May 3, 2023
Merged

[CI] Naming #448

merged 1 commit into from
May 3, 2023

Conversation

Devjiu
Copy link
Contributor

@Devjiu Devjiu commented May 2, 2023

This commit unifies naming after addition of Windows build.

See also: #447

Signed-off-by: Dmitrii Makarenko dmitrii.makarenko@intel.com

@Devjiu Devjiu force-pushed the dmitriim/rename_with_os branch 2 times, most recently from 2394091 to b67ea04 Compare May 2, 2023 13:01
Copy link
Contributor

@kurapov-peter kurapov-peter left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should we explicitly add options to CPU builds like -DENABLE_CUDA=off -DENABLE_L0=off to prevent future issues like we have with CUDA build?

@Devjiu
Copy link
Contributor Author

Devjiu commented May 2, 2023

Should we explicitly add options to CPU builds like -DENABLE_CUDA=off -DENABLE_L0=off to prevent future issues like we have with CUDA build?

I think build parameters should be associated with configuration in some map-like structure. Lnx + Conda + cpu = extra_flags/extra options. From the other side it can be done as hierarchically concatenated options.

@Devjiu Devjiu force-pushed the dmitriim/rename_with_os branch from b67ea04 to 400d3fa Compare May 2, 2023 14:41
@Devjiu Devjiu requested a review from leshikus May 2, 2023 14:41
@alexbaden
Copy link
Contributor

I'm ok with it, but I do think we can spare the extra two letters to make Linux more readable. :)

@Devjiu Devjiu force-pushed the dmitriim/rename_with_os branch from 400d3fa to 077ea71 Compare May 2, 2023 19:32
This commit unifies naming after addition of Windows build.

See also: #447

Signed-off-by: Dmitrii Makarenko <dmitrii.makarenko@intel.com>
@Devjiu Devjiu force-pushed the dmitriim/rename_with_os branch from 077ea71 to 30af56e Compare May 3, 2023 12:34
@kurapov-peter kurapov-peter merged commit 3cf75a2 into main May 3, 2023
@kurapov-peter kurapov-peter deleted the dmitriim/rename_with_os branch May 3, 2023 19:14
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants