Hi, Samurai ( https://github.com/michaelforney/samurai ) is a drop-in C99 replacement for the "ninja" command. If it's not too much trouble, could you allow ./configure to proceed if "samu" is installed instead of "ninja"? Or perhaps skip the check if $NINJA is set in the environment?
Polymake is ...

