Vnpenguin, what kernel is running on your OS? If we set up a virtual machine for compiling binaries - does anyone have a suggesting what OS to take, so that it will remain compatible with as many x86_64 processors as possible? (Apparently glibc and kerner are the deciding factors; but it needs to have support for 64-bit machines that are not as old as it seems after all.)
Reinhard - what linux are you using for TL? Mojca ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________