Re: Problem getting source with 110.45 installer

Adam,

I added these (and some more) exports, so the next working release will  
have them.
(You can also pull bleeding-edge source code from CVS, of course.)

Matthias

On May 9, 2004, at 5:14 PM, Adam Chlipala wrote:

> 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
> _______________________________________________
> Smlnj-list mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>



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