Re: Problem getting source with 110.45 installer
Adam Chlipala <[email protected]>
| Newsgroups | gmane.comp.lang.sml.smlnj |
|---|---|
| Message-ID | <[email protected]> |
Matthias Blume wrote: > As for having to patch the sources, could you say what exactly you > need? Maybe > we can patch our sources and be done once and for all? I'm using the libraries for parsing and elaborating SML source to give a scripting language an interface to SML code. They don't seem to export enough of the modules to allow crawling over the environments that result from elaboration, though. http://cvs.sourceforge.net/viewcvs.py/smlweb/mlt/BUILDING?rev=1.1.1.1&view=auto has the patch instructions that worked in 110.42. They all involve exporting extra modules from .cm files. ------------------------------------------------------- This SF.Net email is sponsored by Sleepycat Software Learn developer strategies Cisco, Motorola, Ericsson & Lucent use to deliver higher performing products faster, at low TCO. http://www.sleepycat.com/telcomwpreg.php?From=osdnemail3