The documentation is wrong, but what's actually happening is that "setup configure" takes a --with-compiler option, but changes that into a --with-hc option when calling configure. That's pretty gross, and I don't think anyone is using the --with-hc option: should we just change it to --with-compiler for simplicity?