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.