Hello guys/girls,
I'm new to this list, also new to polyML :). I have a question: i'm trying to launch the linux version of polyml on CygWin (under win2000) with little success. The executable 'poly' just answers with: ./poly: 1: Syntax error: "(" unexpected when trying to launch it ...
Maybe someone knows the solution or has encountered similar situation?
PS why i'm trying the linux version on cygwin under win200 and not polyml for win32? Well, actualy, i'm trying to launch the Isabelle system, (which uses polyML) and it has no win32 version. So i'm stuck with Isabelle on cygwin. When I tried to couple Isabelle/cygwin with win32 version of polyML, win32 executable of polyML could not crunch linux style file paths, supplied by Isabelle under cygwin. Hence i'm stuck with the only combination left - run both Isabelle & linux version of polyML under cygwin. Unfortunately, when linux version of polyML is launched under cygwin, it just seems to complain '1: Syntax error: "(" unexpected'. This output apears no matter what parameters i supply for the poly executable :(
-- Tomas Juknevicius
Hi Tomas, I've not used Cygwin but I'm fairly sure a question like this has come up before in relation to Isabelle. From what I recall, Cygwin provides a library allowing one to compile and run code written for Unix within a Windows environment. I don't think you can simply run Linux executables directly without recompiling them. Have you tried posting this question to the Isabelle mailing list?
David.
On Sunday, May 19, 2002, at 16:30 , Tomas Juknevicius wrote:
Hello guys/girls,
I'm new to this list, also new to polyML :). I have a question: i'm trying to launch the linux version of polyml on CygWin (under win2000) with little success. The executable 'poly' just answers with: ./poly: 1: Syntax error: "(" unexpected when trying to launch it ...
Maybe someone knows the solution or has encountered similar situation?
-
David.Matthews＠prolingua.co.uk -
Tomas.Juknevicius＠nomagic.com