Re: compiling smlnj

On Mon, Dec 1, 2008 at 10:23 PM, brian <briand-/[email protected]> wrote:
> On Dec 1, 2008, at 3:30 PM, Jon Riehl wrote:
>> This is a problem with a library in the 110.68 distribution.  Matthias
>> Blume was able to work around this by rebuilding everything.  From an
>> email he CC'ed me:
>>
>>  - download and untar all the source tarballs
>>  - then (after doing config/install.sh once) go to base/system
>>  - then run ./fixpt
>>  - then get rid of all the sml*.{bin,boot}.* directories except the
>> "last" one (in my case sml1.{bin,boot}.x86-unix)
>>  - then rename these "last" directories back to sml.{bin,boot}.x86-
>> unix
>>  - then run ./makeml
>>  - then run rm -r ../../lib/* ../../bin/.heap/*
>>  - then run ./installml
>>  - then cd back to ../..
>>  - then run (again) config/install.sh
>>
>> I'll make sure this is fixed in the 110.69 distribution.  Hope this
>> helps.
>>
>
> Thanks for the info, but I'm unsure of how to take advantage of it.
> Do I need to do this once, or everytime I touch something in the
> source tree ?

If I understand correctly, there was some problem in one of the
"stable" library builds (at least the part in the boot environment).
Matthias Blume has rebuilt and replaced these on the server, so you
shouldn't have anything to worry about.

> Speaking of the source tree, it's not at all obvious why touching
> code in smlnj-lib, for example should require the whole shootin'
> match to be recompiled.  Isn't that what .cm is designed to prevent ??

Again, if I understand correctly, the problem was in a pre-compiled
bit that CM doesn't worry about in the install script.

> Meanwhile, back at the computer, config/install.sh fixed it.  If I do
> the above, will I still need to run config/install.sh ?

It _was_ the last step in those instructions. (*smirk*)  Of course,
everything should be fine now.  Nothing to see here... carry on...

Regards,
-Jon

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