Hi,

The attached recipe fails with the following error:

patch-shebang: ./src/config.sub: changing `/bin/sh' to `/nix/store/4mg8b8vvmava68y64qmm70gqfnhhjzmx-bash-4.2/bin/sh'

[...]

configure: error: cannot run /bin/sh ./config.sub

However, these commands don't raise any errors.

# cd /tmp/nix-build-gprolog-1.4.2.drv-11
# source environment-variables
# cd */src
# ./configure && make && make check

[...]

All tests succeeded

Nikita