Dear All,
I recently upgraded to Xcode 15.0.1 on my Apple Silicon iMac. This causes the calls of polyc in the ProofPower build to fail with an ld error. The work-around is to change the polyc script so that line 15 reads: EXTRALDFLAGS="-ld_classic" If you can, however, I’d recommend deferring the Xcode upgrade until Apple have issued a more reliable version. Best, Rob. _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
