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

Add a check to ensure GIT_INDEX EXISTS before attempting to build build-info.cpp #5256

Closed
wants to merge 0 commits into from

Conversation

danemadsen
Copy link
Contributor

This is causing an issue when attempting to build llama.cpp as part of the dart package llama_cpp_dart which i am using for my app maid. I'm encountering some kind of issue where .git/index cant be found which is likely because maids repo uses nested submodules (maid->llama_cpp_dart->llama.cpp).

I understand that this is a pretty rare and obscure issue but it would be really helpful if you could merge this check.

@cebtenzzre
Copy link
Collaborator

It would be better to compute GIT_INDEX correctly rather than just giving up on the build info when it's wrong - it currently works for non-nested submodules and for alternate git worktrees.

@danemadsen
Copy link
Contributor Author

Fixes #3902

@danemadsen
Copy link
Contributor Author

It would be better to compute GIT_INDEX correctly rather than just giving up on the build info when it's wrong - it currently works for non-nested submodules and for alternate git worktrees.

Ok but it would still be good to handle the failure case properly

@ggerganov
Copy link
Owner

I think the way it is, it breaks the CI?

@danemadsen
Copy link
Contributor Author

danemadsen commented Feb 5, 2024

I think the way it is, it breaks the CI?

CI? You mean the actions? It shouldn't as all its really doing different is checking a git index exists

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.

3 participants