[isabelle-dev] Unknown ISABELLE_JDK_HOME -- Java tools unavailable

[chunhan wu]

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