Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix CMake flags #109

Merged
merged 4 commits into from
Aug 14, 2024
Merged

Fix CMake flags #109

merged 4 commits into from
Aug 14, 2024

Conversation

Peiyang-Song
Copy link
Member

This PR slightly modifies the CMake flags in order to have Lean Copilot work smoothly on M1 Mac (x86_64 Mac) & some Ubuntu machines with CUDA-enabled GPU. Bug reported and PR submitted by @Adarsh321123. Refer to original PR #106.

  • The deletion of -DBUILD_CLI=OFF and -DWITH_DNNL=OFF help with running Lean Copilot on M1 Mac.
  • The removal of CUDA / CUDNN related flags help with running Lean Copilot on certain Ubuntu machines with GPU.

Linking this to Issue #53 which also relates to GPU problems.

@Peiyang-Song Peiyang-Song merged commit 923f5c8 into main Aug 14, 2024
1 check passed
@Peiyang-Song Peiyang-Song deleted the peiyang branch August 14, 2024 06:41
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.

2 participants