Hello again Roland,
I tried
make kranc options=configs/sim/config-info THORNLIST=
kranc.th
PROMPT=no
but I got the same error as before?
I attach the config-info file.