[MINC-users] Building minccmp

[Andrew Wood]

Hi all,

It seems that minctools isn't set up to build minccmp. Has it been excluded
on purpose? Or would it be safe to turn on?

Thanks,
Andrew