[isabelle-dev] Repository version of Isabelle on Windows 7
Anders Schlichtkrull
andschl at dtu.dk
Tue Nov 10 13:17:01 CET 2015
On Tue, 10 Nov 2015, Makarius wrote:
> What is the result of "isabelle getenv SCALA_HOME"?
Anders at r099121 /cygdrive/c/repo-isabelle/isabelle
$ ./bin/isabelle getenv SCALA_HOME
SCALA_HOME=/cygdrive/c/Users/Anders/.isabelle/contrib/scala-2.11.7
> To make double sure: can you delete ISABELLE_HOME/lib/classes/Pure.jar and
> try again? Or try "isabelle jedit -bf".
Apparently, I don't even have an ISABELLE_HOME/lib/classes :
Anders at r099121 /cygdrive/c/repo-isabelle/isabelle
$ ./bin/isabelle getenv ISABELLE_HOME
ISABELLE_HOME=/cygdrive/c/repo-isabelle/isabelle
Anders at r099121 /cygdrive/c/repo-isabelle/isabelle
$ ls -l lib
totalt 8
drwxrwxr-x+ 1 Anders None 0 2 nov 13:42 browser
drwxrwxr-x+ 1 Anders None 0 30 okt 13:08 fonts
drwxrwxr-x+ 1 Anders None 0 30 okt 13:08 html
drwxrwxr-x+ 1 Anders None 0 30 okt 13:08 icons
drwxrwxr-x+ 1 Anders None 0 30 okt 13:08 logo
drwxrwxr-x+ 1 Anders None 0 30 okt 13:08 scripts
drwxrwxr-x+ 1 Anders None 0 30 okt 13:08 texinputs
drwxrwxr-x+ 1 Anders None 0 30 okt 13:08 Tools
I tried running "./bin/isabelle jedit -l HOL" again and then "./bin/isabelle jedit -bf" with the following results:
Anders at r099121 /cygdrive/c/repo-isabelle/isabelle
$ ./bin/isabelle jedit -l HOL
### 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
$ ./bin/isabelle jedit -bf
### 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
More information about the isabelle-dev
mailing list