Or just 'apt-get install polyml'.
James
On 1 May 2017, at 19:12, <Michael.Norrish at data61.csiro.au> <Michael.Norrish at data61.csiro.au> wrote:
Building under Cygwin or with the official Linux subsystem gives you this.
Michael
On 1/5/17, 19:49, "polyml-bounces at inf.ed.ac.uk on behalf of Chris Cannam" <polyml-bounces at inf.ed.ac.uk on behalf of cannam at all-day-breakfast.com> wrote:
Hello -- I'm wondering whether there is a Windows build of Poly/ML available that can be used from a within command prompt or executed from a Powershell script, in the same sort of way as SML/NJ can be on Windows, or as Poly/ML can on other platforms.
As far as I can see the Windows distribution contains an executable that always opens its own window and provides its own interactive prompt, which (although nice enough) is not quite what I want at the moment.
Is there such a thing out there?
Thanks,
Chris _______________________________________________ polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml