... in the INSTALL file, but also in the summary of optional dependencies at the end of the configure script.