regarding Sculpt on virt_qemu_riscv

John J. Karcher devuser at
Mon Feb 20 15:55:52 CET 2023

On 2/18/23 05:27, Alexander Tormasov via users wrote:
>> 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

I'll take the workaround for now!  :^)

>> 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

This one turned out to be me just being stupid - I somehow forgot to 
install libssl at all.  Now it builds again.  Can't wait to test it!

  Thanks two million!

   John J. Karcher
   devuser at

More information about the users mailing list