PR #8178 cmake : allow user to override default options

cmake : allow user to override default options #8178

slaren merged 1 commit into master from sl/fix-cmake-opt

cmake : allow user to override default options

35588e3b

github-actions added build

dbevenius approved these changes on 2024-06-28

ggerganov approved these changes on 2024-06-28

slaren merged b851b3fb into master 1 year ago

slaren deleted the sl/fix-cmake-opt branch 1 year ago

Reviewers

ggerganov

dbevenius

Assignees

No one assigned

Labels

build

Milestone

No milestone