Max Wolf wrote:
> the next problem was with lightning.
> 1.2pre does not support x86_64, but there is a 1.2b version which
> does.
I am pretty sure that Alice won't work with x86_64 lightning (there's
a ppc version, too, which does not work). We are apparently using
lightning in a way that is not platform independent, so it really only
works with 32bit x86 at the moment. I added a linux64 target to the
Makefile, this should get you at least as far as a full build of all
the C++ components (I also fixed seam-support/build.sh).
If this works for you, and the SML/NJ bootstrap phase fails, maybe
Andreas can help with that.
Cheers,
Guido
_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
