> > Thanks a million for this tip, Alexander! I am using Debian unstable, and > this has prevented me from building for months.
I spend couple days to fight with bison3 and fail finally… so, this trick is a workaround, not a solution probably original of bash distro in genode should be updated to newer version > > Now I am getting stopped by another error altogether: > > ... > [Linux] > /home/mainuser/Devel/genode_main/genode/depot/genodelabs/api/pc_linux/2023-01-23/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. > … never saw this - while seems that this is related to too new version of libssl-dev package. try to downgrade them as well in stack overflow I saw same problem and recommendation to downgrade to 1.1.1b-1ubuntu2 from …2.1 _______________________________________________ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users