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@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@r099121 /cygdrive/c/repo-isabelle/isabelle
$
Cheers and thanks,
Anders Schlichtkrull
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
