ok, I am now convinced: cmake does not honour (only) $PATH...
ok, I am now convinced: cmake does not honour (only) $PATH...

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs