Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
build/setup error #6
Not sure what's going on, but there's clearly no
What can I do about this?
Got it to work:
First I switched the toolchain to the
So we see the same error:
Just create the empty dir it wants:
OK, looks like there's an undocumented dependency on
Now we get:
Undeclared dependency on
Now it works:
The second should be added to the docs; what's necessary to have the first be unnecessary?