Hi All, I'm trying isabelle-dev under instructions of "README_REPOSITORY".
But when I deal with step "./bin/isabelle jedit -l HOL", it returns: ### Building Isabelle/Scala ... Changed files: Concurrent/counter.scala General/exn.scala General/file.scala General/path.scala General/scan.scala General/symbol.scala General/xz_file.scala Isar/outer_syntax.scala PIDE/command.scala PIDE/document.scala PIDE/document_id.scala PIDE/markup.scala PIDE/markup_tree.scala PIDE/protocol.scala PIDE/xml.scala System/command_line.scala System/cygwin_init.scala System/gui_setup.scala System/invoke_scala.scala System/isabelle_process.scala System/isabelle_system.scala System/options.scala System/session.scala System/swing_thread.scala System/system_channel.scala Thy/present.scala Thy/thy_syntax.scala Tools/build.scala Tools/build_dialog.scala Tools/doc.scala Tools/keywords.scala Tools/main.scala library.scala Unknown ISABELLE_JDK_HOME -- Java tools unavailable Failed to compile sources I've installed the Java in my Mac OS X. And I tested the result of previous step of installing isabelle components: the running of "./bin/isabelle components -l" returns: Available components: /usr/src/isabelle /usr/src/isabelle/src/Tools/Code /usr/src/isabelle/src/Tools/jEdit /usr/src/isabelle/src/Tools/Graphview /usr/src/isabelle/src/Tools/WWW_Find /usr/src/isabelle/src/HOL/Mirabelle /usr/src/isabelle/src/HOL/Mutabelle /usr/src/isabelle/src/HOL/Library/Sum_of_Squares /usr/src/isabelle/src/HOL/Tools /usr/src/isabelle/src/HOL/Tools/ATP /usr/src/isabelle/src/HOL/Tools/Sledgehammer/MaSh /usr/src/isabelle/src/HOL/Tools/SMT /usr/src/isabelle/src/HOL/TPTP /usr/src/isabelle/Admin /Users/chunhan/.isabelle /Users/chunhan/.isabelle/contrib/cvc3-2.4.1 /Users/chunhan/.isabelle/contrib/e-1.6-2 /Users/chunhan/.isabelle/contrib/exec_process-1.0.3 /Users/chunhan/.isabelle/contrib/Haskabelle-2013 /Users/chunhan/.isabelle/contrib/jdk-7u21 /Users/chunhan/.isabelle/contrib/jedit_build-20130628 /Users/chunhan/.isabelle/contrib/jfreechart-1.0.14 /Users/chunhan/.isabelle/contrib/kodkodi-1.5.2 /Users/chunhan/.isabelle/contrib/polyml-5.5.0-3 /Users/chunhan/.isabelle/contrib/scala-2.10.2 /Users/chunhan/.isabelle/contrib/spass-3.8ds /Users/chunhan/.isabelle/contrib/z3-3.2 /Users/chunhan/.isabelle/contrib/xz-java-1.2 Missing components: Then "Missing components" are empty, so I guess the problem is still within JAVA. But I finished the test code of "http://www.java.com/en/download/testjava.jsp";. Help needed. Bests, Chunhan _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
