Skip to content

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

Closed
danemadsen wants to merge 0 commit into
ggml-org:masterfrom
danemadsen:master
Closed

Add a check to ensure GIT_INDEX EXISTS before attempting to build build-info.cpp#5256
danemadsen wants to merge 0 commit into
ggml-org:masterfrom
danemadsen:master

Conversation

@danemadsen

Copy link
Copy Markdown
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
Copy Markdown
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
Copy Markdown
Contributor Author

Fixes #3902

@danemadsen

Copy link
Copy Markdown
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
Copy Markdown
Member

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

@danemadsen

danemadsen commented Feb 5, 2024

Copy link
Copy Markdown
Contributor Author

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