Adrian Pop <[EMAIL PROTECTED]> writes:
> You need to have SUN Java version > 1.4.x installed
> to be able to do the plotting.
Thanks for the hint, I think the following patch would be helpful:
Index: README.Cygwin.or.Linux.txt
===================================================================
--- README.Cygwin.or.Linux.txt (revision 3603)
+++ README.Cygwin.or.Linux.txt (working copy)
@@ -8,7 +8,7 @@
rml needs smlnj: http://www.smlnj.org (working version v110.xx) or
mlton (mlton.org)
mico (http://www.mico.org - tested on 2.3.11 and 2.3.12)
libssl (not really necessary)
- java
+ sun-java (> 1.4)
gcc
readline & libreadlineX-dev, currently X=5
