Re: [isabelle] Fresh Install?



On Wed, 29 Feb 2012, Makarius wrote:

On Wed, 29 Feb 2012, Jens Doll wrote:

$ isabelle make
cygpath: can't convert empty path

This one looks already odd.

A secret MS user tells me that this occurred first a few days ago, after updating Cygwin. The error should be harmless and can be ignored. If you want to silence it nontheless, you have two possibilities:

  * make sure CLASSPATH is non-empty, e.g. setting it to "."

  * or edit Isabelle scripts like this:

--- a/lib/scripts/getsettings	Thu Mar 01 14:12:18 2012 +0100
+++ b/lib/scripts/getsettings	Thu Mar 01 14:42:05 2012 +0100
@@ -55,8 +55,8 @@

 #JVM path wrapper
 if [ "$OSTYPE" = cygwin ]; then
-  CLASSPATH="$(cygpath -u -p "$CLASSPATH")"
-  function jvmpath() { cygpath -C UTF8 -w -p "$@"; }
+  CLASSPATH="$(cygpath -i -u -p "$CLASSPATH")"
+  function jvmpath() { cygpath -i -C UTF8 -w -p "$@"; }
   THIS_CYGWIN="$(jvmpath "/")"
 else
   function jvmpath() { echo "$@"; }


Your problem with polyml should be independent of that.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.