Re: Build issue

2022-12-25 Thread Will Senn
All, I got the Sculpt 22.10 build working in Debian 11.6 Bullseye via VirtualBox. Now that I've successfully built the bootable image, burned it to USB, and deployed it successfully to my t430 a couple of times, I'll try doing the build on Debian running on the t430. Here's the cleaned up set

Re: Build issue

2022-12-25 Thread Will Senn
On 12/25/22 8:29 PM, Colin Parker wrote: make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc -- Error: recipe for 'pkg/bsd_audio_drv' not found - unable to guess version make: *** [Makefile:431: run/sculpt] Error 1 make: Leaving directory '/home/wsenn/genode/build/x86_64' --

Re: Build issue

2022-12-25 Thread Colin Parker
> > > make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc > > -- > Error: recipe for 'pkg/bsd_audio_drv' not found - unable to guess version > make: *** [Makefile:431: run/sculpt] Error 1 > make: Leaving directory '/home/wsenn/genode/build/x86_64' > -- bsd_audio_drv is in the d

Build issue

2022-12-25 Thread Will Senn
OK. I'm trying to build Sculpt. I'm a naive newb, so I appreciate your patience as I come up to speed. Below are the details of my exploration into this new world. I've made progress through trial and error, but I've hit the following show stopper (I can't riddle out how to get around it). I d