Support esp-idf source tree not being Git repository

[haileys]

This is the esp-idf-sys counterpart to esp-rs/embuild#80 - there's more discussion over there

[haileys]

just for integration purposes for now, I'll rebase this change away before merge

[ivmarkov]

@haileys - you need to cargo fmt

[ivmarkov]

@haileys - ditto here. If this is to be included in the new release, you need to address the CI errors.

[haileys]

I've pushed up a fmt, but I wasn't able to run clippy locally to see if it wanted any changes

[ivmarkov]

Here's one way to run it locally (you need to replace the target variable with whatever ESP MCU/target you want to build for, e.g. riscv32imc-esp-espidf).

Regardless, clippy checks pass.

[dlakatos847]

What is the current status of this PR's merge? The issue it fixes is really annoying since I cannot use esp-idf from package manager due to the lack of Git repository. Thanks.

[ivmarkov]

What is the current status of this PR's merge? The issue it fixes is really annoying since I cannot use esp-idf from package manager due to the lack of Git repository. Thanks.

The status is that the patch is abandon-ware ATM, as you can see in the comments.
If you would like to bring it to completion, that would be greatly appreciated!

Only thing is, I gave it a try a couple of months ago, and then somehow I reached the conclusion that there was something in the ESP IDF itself, which was prohibiting it from being used as non-GIT repository. But maybe I was wrong - can't recollect my memories ATM.

I cannot use esp-idf from package manager due to the lack of Git repository. Thanks.

What package manager?