Mac OS X PPC to Intel migration - how to handle MLton?

View: New views
2 Messages — Rating Filter:   Alert me  

Mac OS X PPC to Intel migration - how to handle MLton?

by Michael Barber-7 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

I've just set up my new MacBook, using the Mac OS X migration
assistant to set things up based on my old iBook. That means that the
PPC version of MLton also moved over. What is the right approach to
replacing the PPC version with the Intel x86 version? Just install the
x86 version and don't worry about it?

To be specific, the PPC version was the release 20070826 binary
package statically linked against GnuMP. GnuMP was built from source.

Any advice would be much appreciated.

--
Michael Barber

_______________________________________________
MLton-user mailing list
MLton-user@...
http://mlton.org/mailman/listinfo/mlton-user

Re: Mac OS X PPC to Intel migration - how to handle MLton?

by Matthew Fluet-3 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

On Sat, 5 Apr 2008, Michael Barber wrote:

> I've just set up my new MacBook, using the Mac OS X migration
> assistant to set things up based on my old iBook. That means that the
> PPC version of MLton also moved over. What is the right approach to
> replacing the PPC version with the Intel x86 version? Just install the
> x86 version and don't worry about it?
>
> To be specific, the PPC version was the release 20070826 binary
> package statically linked against GnuMP. GnuMP was built from source.
>
> Any advice would be much appreciated.

You should be able to just install the x86 version.  If your old install
and your new install are both .tgz installs, then your new install will
simply overwrite the old files.  The two packages should have almost
identical file lists.  IIRC, the only difference should be that the old
install will have
   /usr/local/lib/mlton/sml/basis/config/c/ppc-darwin
while the new install will have
   /usr/local/lib/mlton/sml/basis/config/c/x86-darwin
You can delete the ppc-darwin directory that was migrated from the old
install but not needed by the new install.

If your old install is a .dmg install, then I believe that there is a way
to uninstall the old version before doing a new .dmg install.  But, I'm
not familiar enough with the MacOS X packaging to be sure.

_______________________________________________
MLton-user mailing list
MLton-user@...
http://mlton.org/mailman/listinfo/mlton-user
LightInTheBox - Buy quality products at wholesale price!