Or just 'apt-get install polyml'. James
> On 1 May 2017, at 19:12, <[email protected]> > <[email protected]> wrote: > > Building under Cygwin or with the official Linux subsystem gives you this. > > Michael > > On 1/5/17, 19:49, "[email protected] on behalf of Chris Cannam" > <[email protected] on behalf of [email protected]> 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 > [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 _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
