theories/Makefile has an implicit dependency on which

[henrytill]

It looks like #2 introduced an implicit dependency on which here:

stdlib/theories/Makefile

Line 1 in e19046a

ROCQBIN?=$(dir $(shell which rocq))

This causes breakage in situations where which isn't available in the default build environment, like when using opam-nix.

To fix this, the opam package would need to declare a dependency on conf-which.

[SkySkimmer]

Or use command -v instead