Chris Zubrzycki <beren <at> mac.com> writes: > What was the error? Did you happen to copy anything in /sw from a ppc > computer? > > -chris zubrzycki
I still don't know what the error was. I have a freshly compiled and updated version of fink. Probably it had to do something with the converted Dell machine on which I'm doing the experiments. I find it interesting though, that all other programs compile and run just fine. Anyway, the byte-code version of Coq is fast enough for me and I do not wish to disturb it while it works. Matija Matija ------------------------------------------------------------------------- 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
