Re: compiling smlnj
brian <briand-/[email protected]> Mon, 1 Dec 2008 20:14:45 -0800
| Newsgroups | gmane.comp.lang.sml.smlnj |
|---|---|
| Message-ID | <[email protected]> |
On Dec 1, 2008, at 3:00 AM, Vesa A Norrman wrote: > Did you recompile all libraries by running config/install.sh? > > Maybe ckit is not recompiled. Well I don't know about that, but running config/install.sh did the trick ! Brian > > - Vesa > > On Sun, 30 Nov 2008, brian wrote: > >> So in my attempt to mod sml -nj I had a few problems, so I downloaded >> 110.68 and started from scratch. >> I modified Unix/os-path.sml and re-compiled. >> >> Now I get the following error, and I think this only occurs for nl- >> ffi, but I'm no positive. >> >> library $c/internals/c-int.cm is stable] >> Error: Compiler bug: UnpickMod: stub lookup failed >> /usr/local/smlnj/bin/sml: Fatal error -- Uncaught exception Error >> with 0 >> >> >> Naturally I'm going to start over, however I'm wondering if someone >> might have a clue as to what went wrong with the build process that I >> would get this error. >> >> Thanks. >> >> Brian >> >> >> --------------------------------------------------------------------- >> ---- >> This SF.Net email is sponsored by the Moblin Your Move Developer's >> challenge >> Build the coolest Linux based applications with Moblin SDK & win >> great prizes >> Grand prize is a trip for two to an Open Source event anywhere in >> the world >> http://moblin-contest.org/redirect.php?banner_id=100&url=/ >> _______________________________________________ >> Smlnj-list mailing list >> [email protected] >> https://lists.sourceforge.net/lists/listinfo/smlnj-list >> > > -- > /`---*\ > = ^ o ^ = > `-----' ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/