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
devu...@alternateapproach.com
_______________________________________________
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
