Hi all,
I'm trying to build PolyML from scratch so I got the basis, driver and mlsource tarballs and unpacked driver, then unpacked basis and mlsource into driver, did the symlink for CodeCons and in the drive dir I ran: pmatos@euler driver $ ./poly ML_dbase < mlsource/BuildAll.sml Poly/ML RTS version I386-4.1.3 (15:24:34 Dec 10 2003) Copyright (c) 2002 CUTS and contributors. Running with heap parameters (h=10240K,ib=2048K,ip=100%,mb=6144K,mp=20%)
Unable to open ML_dbase
Can anybody please explain me what's the problem?
I'm just trying to follow the instructions at: http://www.polyml.org/download.html
Best regards,
Paulo> Hi all, I'm trying to build PolyML from scratch so I got the Paulo> basis, driver and mlsource tarballs and unpacked driver, then Paulo> unpacked basis and mlsource into driver, did the symlink for Paulo> CodeCons
I was waiting for someone else to answer this, but it seems they are all on holidays.
You also need to download the binary image for your platform. That would be
http://www.polyml.org/dbases/polyml-4.1.3.i386.tar.gz
because I can see that you are on an Intel x86 machine.
Hope this helps.
-
bayard＠newsguy.com -
pocm＠netvisao.pt