search

luigifcruz / pico-stuff

I add my Pi Pico (RP2040) stuff here.
GNU General Public License v2.0
170 stars 21 forks source link

Files not found (missing dhserver.h) #4

Open DatanoiseTV opened 1 year ago

DatanoiseTV commented 1 year ago

https://github.com/luigifcruz/pico-stuff/blob/main/lib/networking gives me a 404.

fatal error: dhserver.h: No such file or directory
   31 | #include "dhserver.h"
luigifcruz commented 1 year ago

Are you using the patched version of the Pico SDK? The standard one doesn't include the necessary headers for this app in particular.

mordae commented 1 year ago

If anyone else stumbles here, this is what worked for me. After https://github.com/raspberrypi/pico-sdk/pull/334 has been resolved, it won't be needed anymore.

Fetch the patched SDK:

git submodule set-branch --branch patch-piccolosdr pico-sdk
git submodule update --remote
git submodule update --init --recursive

Then continue as usual.