Hello,

It involves a bit of work (specifically,  (1) you need to remove some
POSIX bindings which don't seem to build and (2) as the build scripts
were back then, you needed to manually perform the bootstrapping process
by, if I recall correctly, cross-compiling the initial compiler on a
full-fledged machine, then running it on Android to compile all the ML
sources, and finally linking everything up with your cross compiler
again), but apart from a couple of issues (I recall the REPL crashing
when exceptions fell through to the top level, for one), it seemed to
run fairly well in interpreted mode.

I have my files related to building it buried somewhere in the salvaged
harddrive of my previous (RIP) laptop. It's a fairly busy time for me at
the moment, but I can have a look if I can find them after I'm done with
the more pressing of my todos. In the meantime, I strongly suspect that
http://twilightro.kafuka.org/~blackhole89/files/poly might be the binary
I compiled back then. (Caveat pulsor*)

Best wishes,
Matvey

____
* according to miscellaneous sources, this is the accepted Latin verb
for "execute" (as in a program)

On 14/10/13 10:58, Aleks Kissinger wrote:
> A few years back, Matvey Soloviev (in CC) managed to get poly/ML running on
> an android phone. I'm not sure if he ever released anything though...
> 
> 
> On 14 October 2013 08:49, Brad Cantrell <[email protected]> wrote:
> 
>> There are a couple of implementations for Ocaml on Android but none for
>> SML. So Id like to suggest that you make a port for Android because mobile
>> computing is becoming much more common and mainstream. And also the fact
>> that Android OS is a much more stable target to port to compared to the
>> fragmentation of Linux distros, the exclusivity of hardware costs and
>> availability for OSX and the problems that windows 8 is bringing to user
>> experience.
>>   -Brad Cantrell
>>
>> _______________________________________________
>> polyml mailing list
>> [email protected]
>> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
>>
> 

_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to