-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
On Oct 9, 2006, at 7:18 AM, Matija Pretnar wrote: > I uncompressed the source tar (/sw/src/coq-8.0pl3.tar.gz), > set best_compiler=opt to best_compiler=byte in the configure file, > compressed the source back, ran fink installer, told it to use the > existing file > and compiled the byte-code version that works fine now. What was the error? Did you happen to copy anything in /sw from a ppc computer? - -chris zubrzycki - - -- PGP public key: http://homepage.mac.com/beren/publickey.txt ID: 0xA2ABC070 Fingerprint: 26B0 BA6B A409 FA83 42B3 1688 FBF9 8232 A2AB C070 ======================================================== "Of course, you realize this means war." - -B. Bunny -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.5 (Darwin) Comment: Please sign reply-http://www.gnupg.org iEYEARECAAYFAkUqX0IACgkQ+/mCMqKrwHB3qACgwBP8LXIKadFQFnBnD/r5E7gL RTwAoNWM/n/9ysCk4OvjcBFTZrmzU/3w =RfhG -----END PGP SIGNATURE----- ------------------------------------------------------------------------- Take Surveys. Earn Cash. Influence the Future of IT Join SourceForge.net's Techsay panel and you'll get the chance to share your opinions on IT & business topics through brief surveys -- and earn cash http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV _______________________________________________ Fink-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/fink-users
