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.
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
