src/Pure/build-jars
changeset 43320 657635e0445a
parent 43285 966f359dc724
child 43405 723a8af9d3f0
     1.1 --- a/src/Pure/build-jars	Thu Jun 09 10:43:42 2011 +0200
     1.2 +++ b/src/Pure/build-jars	Thu Jun 09 10:59:25 2011 +0200
     1.3 @@ -6,6 +6,53 @@
     1.4  #
     1.5  # Requires proper Isabelle settings environment.
     1.6  
     1.7 +## sources
     1.8 +
     1.9 +declare -a SOURCES=(
    1.10 +  Concurrent/future.scala
    1.11 +  Concurrent/simple_thread.scala
    1.12 +  Concurrent/volatile.scala
    1.13 +  General/exn.scala
    1.14 +  General/timing.scala
    1.15 +  General/linear_set.scala
    1.16 +  General/markup.scala
    1.17 +  General/position.scala
    1.18 +  General/pretty.scala
    1.19 +  General/scan.scala
    1.20 +  General/sha1.scala
    1.21 +  General/symbol.scala
    1.22 +  General/xml.scala
    1.23 +  General/xml_data.scala
    1.24 +  General/yxml.scala
    1.25 +  Isar/keyword.scala
    1.26 +  Isar/outer_syntax.scala
    1.27 +  Isar/parse.scala
    1.28 +  Isar/token.scala
    1.29 +  PIDE/command.scala
    1.30 +  PIDE/document.scala
    1.31 +  PIDE/isar_document.scala
    1.32 +  PIDE/markup_tree.scala
    1.33 +  PIDE/text.scala
    1.34 +  System/cygwin.scala
    1.35 +  System/download.scala
    1.36 +  System/event_bus.scala
    1.37 +  System/gui_setup.scala
    1.38 +  System/isabelle_process.scala
    1.39 +  System/isabelle_syntax.scala
    1.40 +  System/isabelle_system.scala
    1.41 +  System/platform.scala
    1.42 +  System/session.scala
    1.43 +  System/session_manager.scala
    1.44 +  System/standard_system.scala
    1.45 +  System/swing_thread.scala
    1.46 +  Thy/completion.scala
    1.47 +  Thy/html.scala
    1.48 +  Thy/thy_header.scala
    1.49 +  Thy/thy_syntax.scala
    1.50 +  library.scala
    1.51 +  package.scala
    1.52 +)
    1.53 +
    1.54  
    1.55  ## diagnostics
    1.56  
    1.57 @@ -61,51 +108,6 @@
    1.58  
    1.59  ## dependencies
    1.60  
    1.61 -declare -a SOURCES=(
    1.62 -  Concurrent/future.scala
    1.63 -  Concurrent/simple_thread.scala
    1.64 -  Concurrent/volatile.scala
    1.65 -  General/exn.scala
    1.66 -  General/timing.scala
    1.67 -  General/linear_set.scala
    1.68 -  General/markup.scala
    1.69 -  General/position.scala
    1.70 -  General/pretty.scala
    1.71 -  General/scan.scala
    1.72 -  General/sha1.scala
    1.73 -  General/symbol.scala
    1.74 -  General/xml.scala
    1.75 -  General/xml_data.scala
    1.76 -  General/yxml.scala
    1.77 -  Isar/keyword.scala
    1.78 -  Isar/outer_syntax.scala
    1.79 -  Isar/parse.scala
    1.80 -  Isar/token.scala
    1.81 -  PIDE/command.scala
    1.82 -  PIDE/document.scala
    1.83 -  PIDE/isar_document.scala
    1.84 -  PIDE/markup_tree.scala
    1.85 -  PIDE/text.scala
    1.86 -  System/cygwin.scala
    1.87 -  System/download.scala
    1.88 -  System/event_bus.scala
    1.89 -  System/gui_setup.scala
    1.90 -  System/isabelle_process.scala
    1.91 -  System/isabelle_syntax.scala
    1.92 -  System/isabelle_system.scala
    1.93 -  System/platform.scala
    1.94 -  System/session.scala
    1.95 -  System/session_manager.scala
    1.96 -  System/standard_system.scala
    1.97 -  System/swing_thread.scala
    1.98 -  Thy/completion.scala
    1.99 -  Thy/html.scala
   1.100 -  Thy/thy_header.scala
   1.101 -  Thy/thy_syntax.scala
   1.102 -  library.scala
   1.103 -  package.scala
   1.104 -)
   1.105 -
   1.106  TARGET_DIR="$ISABELLE_HOME/lib/classes"
   1.107  PURE_JAR="$TARGET_DIR/Pure.jar"
   1.108  FULL_JAR="$TARGET_DIR/isabelle-scala.jar"