[MLton] Intel Mac version of MLton
Matthew Fluet
fluet at cs.cornell.edu
Tue Oct 10 06:40:17 PDT 2006
> Quick update to my previous mail. I see that I missed steps 4 & 5,
> but I'm hitting some problem or other. It appears that some documentation
> is not getting generated:
>
> <jhr at frogbat> make install
Yeah, I see the same problem on x86-linux, so obviously the Makefiles need
some tweaking. In any case, I think you can 'make install-no-docs' and
make a tgz to post on mlton.org/TemporaryFiles. We can patch in the
documentation after the fact.
> mkdir -p /Users/jhr/Work/mlton/mlton/install/usr/local/share/doc/mlton
> ( \
> cd /Users/jhr/Work/mlton/mlton/doc &&
> \
> /bin/cp -fpR changelog examples guide license README /Users/
> jhr/Work/mlton/mlton/install/usr/local/share/doc/mlton/ \
> )
> mv /Users/jhr/Work/mlton/mlton/install/usr/local/share/doc/mlton/
> guide/mlton-guide.pdf /Users/jhr/Work/mlton/mlton/install/usr/local/
> share/doc/mlton/
> mv: rename /Users/jhr/Work/mlton/mlton/install/usr/local/share/doc/
> mlton/guide/mlton-guide.pdf to /Users/jhr/Work/mlton/mlton/install/
> usr/local/share/doc/mlton/mlton-guide.pdf: No such file or directory
> make: *** [install-docs] Error 1
>
> On Oct 4, 2006, at 5:26 PM, Stephen Weeks wrote:
>
>>
>> John Reppy has an Intel Mac and has volunteered to try building a
>> MLton package, if we can walk him through it.
>>
>> John, some instructions on porting MLton are at
>>
>> http://mlton.org/PortingMLton
>>
>> You can skip the "What code to change" and move straight to "Running
>> the regressions ..." followed by "Bootstrap".
>>
>> Here's an overview of the steps.
>>
>> 1. Create a cross compiler using bin/add-cross.
>> 2. Check that the cross compiler works.
>> 3. Cross compile MLton.
>> 4. Compile MLton normally on the target, i.e. "make all install".
>> 5. Make a tgz of the install directory.
>>
>> Don't start just yet. Matthew has one more commit to make, which he
>> will make soon and let you know once he has done so.
>>
>> Feel free to send questions to MLton at mlton.org.
>>
>
>
> _______________________________________________
> MLton mailing list
> MLton at mlton.org
> http://mlton.org/mailman/listinfo/mlton
>
More information about the MLton
mailing list