Greetings, It seems builds WITH_GMP have been broken since f77ba272 (July 4).
As an aside, is it preferred for s7 bug reports to hit this list or be sent directly to bil@...? Thanks, Brad _______________________________________________ Cmdist mailing list Cmdist@ccrma.stanford.edu https://cm-mail.stanford.edu/mailman/listinfo/cmdist