> /usr/lib probably means that this is a "package" on the target system, and > thus it is usually broken by default.
That's correct. However, the code generator tests work well using that package (theory "Code_Test_SMLNJ"). Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev