TryWhy3 - unknown printf option for find command in Makefile for macOS
The makefile generated by ./configure
uses the command
`find stdlib -name "*.mlw" -printf " --file=%p:/%p"` \
for the compilation of trywhy3. But the -printf option of find does not exist on macOS. I suggest to replace it with :
`find stdlib -name "*.mlw" -exec printf " --file=%s:/%s" {} {} ";"` \