Michael Franz wrote: > As a followup, when bootstrapping on a platform that does not have OpenJDK > and using gjc, where does libverify come from? It's gcj. libverify doesn't come from anywhere: as far as I can tell it isn't needed in the first stage of the build. Andrew.