Hi,
I'm trying to build sculpt according to document https://genode.org/documentation/sculpt-20-02.pdf.
In section 5.2 Building the boot image stage 7 one finds:
Create the Sculpt boot image (defined by the run script at repos/gems/run/sculpt.run)
make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc
The file repos/gems/run/sculpt.run exists.
$ file repos/gems/run/sculpt.run repos/gems/run/sculpt.run: exported SGML document, ASCII text
However there is an error:
$ make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc make: Entering directory '/home/shlomo/development/all_git/genode.git/genode/build/x86_64' Error: No run script for sculpt make: *** [Makefile:323: run/sculpt] Error 255 make: Leaving directory '/home/shlomo/development/all_git/genode.git/genode/build/x86_64'
Best regards,
S.P.