On 4/14/22 01:37, Christian Helmuth wrote:
Hello John,
Regarding your build error...
On Thu, Apr 14, 2022 at 04:39:38 CEST, John J. Karcher wrote:
Interestingly, using the commit you referenced, "pkg/pc_usb_host" builds now, but I get the following error in "pkg/wifi":
[Linux] /home/mainuser/Devel/genode_main/genode/depot/genodelabs/api/pc_linux/2022-04-12/src/linux/scripts/extract-cert.c:21:10:fatal error: openssl/bio.h: No such file or directory [Linux] 21 | #include <openssl/bio.h> [Linux] | ^~~~~~~~~~~~~~~ [Linux] compilation terminated.
Interestingly the Linux kernel build seems to depend on the "libssl-dev" Debian package. After "apt install libssl-dev" the build should succeed.
Thanks for the tip! I wasn't thinking along those lines, but that was the problem. After another missing package, and a Bash $PATH fix, it now works again.
Thanks a million!
John J. Karcher devuser@alternateapproach.com