[isabelle-dev] Repository version of Isabelle on Windows 7

[Anders Schlichtkrull]

On Fri, 30 Oct 2015, Makarius wrote:

> Somehow the downloaded csdp-6.x.tar.gz came out as corrupted.  Just delete 
> that file and try "isabelle components -a" again.

The file csdp-6.x.tar.gz was completely empty. I followed your suggestion and now the output showed that the different .tar.gz files were downloaded and unpacked. I therefore continued following README_REPOSITORY with the following result:

Anders at r099121 /cygdrive/c/repo-isabelle/isabelle
$ ./bin/isabelle jedit -l HOL
### Building graph browser ...
warning: [options] bootstrap class path not set in conjunction with -source 1.4
warning: [options] source value 1.4 is obsolete and will be removed in a future release
warning: [options] target value 1.4 is obsolete and will be removed in a future release
warning: [options] To suppress warnings about obsolete options, use -Xlint:-options.
Note: GraphBrowser\GraphBrowser.java uses or overrides a deprecated API.
Note: Recompile with -Xlint:deprecation for details.
4 warnings
### Building Isabelle/Scala ...
Concurrent\simple_thread.scala:45: error: object getProperty is not a member of package System
      val m = Properties.Value.Int.unapply(System.getProperty("isabelle.threads", "0")) getOrElse 0
                                                  ^
General\bytes.scala:32: error: object arraycopy is not a member of package System
      System.arraycopy(a, offset, b, 0, length)
             ^
General\bytes.scala:104: error: object arraycopy is not a member of package System
      System.arraycopy(bytes, offset, new_bytes, 0, length)
             ^
General\bytes.scala:105: error: object arraycopy is not a member of package System
      System.arraycopy(other.bytes, other.offset, new_bytes, length, other.length)
             ^
General\time.scala:19: error: object currentTimeMillis is not a member of package System
  def now(): Time = ms(System.currentTimeMillis())
                              ^
System\platform.scala:18: error: object getProperty is not a member of package System
  val is_macos = System.getProperty("os.name", "") == "Mac OS X"
                        ^
System\platform.scala:19: error: object getProperty is not a member of package System
  val is_windows = System.getProperty("os.name", "").startsWith("Windows")
                          ^
System\platform.scala:37: error: object getProperty is not a member of package System
      System.getProperty("os.arch", "") match {
             ^
System\platform.scala:45: error: object getProperty is not a member of package System
      System.getProperty("os.name", "") match {
             ^
System\platform.scala:60: error: object getProperty is not a member of package System
    System.getProperty("java.version") match {
           ^
System\platform.scala:68: error: object getProperty is not a member of package System
  val jvm_name: String = System.getProperty("java.vm.name", "")
                                ^
GUI\gui.scala:33: error: object getProperty is not a member of package System
    find_laf(System.getProperty("isabelle.laf")) getOrElse {
                    ^
System\isabelle_system.scala:24: error: object getProperty is not a member of package System
    val java_home = System.getProperty("java.home", "")
                           ^
System\isabelle_system.scala:40: error: object getenv is not a member of package System
      check(System.getenv(envar)) orElse  // e.g. inherited from running isabelle tool
                   ^
System\isabelle_system.scala:41: error: object getProperty is not a member of package System
      check(System.getProperty(property)) getOrElse  // e.g. via JVM application boot process
                   ^
System\isabelle_system.scala:90: error: object getenv is not a member of package System
          val temp = if (Platform.is_windows) System.getenv("TEMP") else null
                                                     ^
System\isabelle_system.scala:93: error: object getProperty is not a member of package System
        val user_home = System.getProperty("user.home", "")
                               ^
System\isabelle_system.scala:94: error: object getProperty is not a member of package System
        val isabelle_app = System.getProperty("isabelle.app", "")
                                  ^
Tools\main.scala:68: error: object setProperty is not a member of package System
        System.setProperty("jedit.home", File.platform_path(Path.explode("$JEDIT_HOME/dist")))
               ^
Tools\main.scala:69: error: object setProperty is not a member of package System
        System.setProperty("scala.home", File.platform_path(Path.explode("$SCALA_HOME")))
               ^
Tools\main.scala:110: error: object getenv is not a member of package System
        update(m.get(System.getenv()))
                            ^
21 errors found
Failed to compile sources

Anders at r099121 /cygdrive/c/repo-isabelle/isabelle
$

Cheers and thanks,
Anders Schlichtkrull