Error while building boot image.

[Shlomo Pongratz]

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.