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?