src/Pure/IsaMakefile
changeset 29202 2454172eddae
parent 29190 89217ccfd130
child 29252 ea97aa6aeba2
equal deleted inserted replaced
29201:03908107bc5b 29202:2454172eddae
   119           $(OUT)/RAW $(LOG)/RAW.gz
   119           $(OUT)/RAW $(LOG)/RAW.gz
   120 
   120 
   121 
   121 
   122 ## Scala material
   122 ## Scala material
   123 
   123 
   124 SCALA_FILES = General/event_bus.scala General/markup.scala	\
   124 SCALA_FILES = General/event_bus.scala General/markup.scala		\
   125   General/position.scala General/symbol.scala General/xml.scala	\
   125   General/position.scala General/swing.scala General/symbol.scala	\
   126   General/yxml.scala Isar/isar.scala Thy/thy_header.scala	\
   126   General/xml.scala General/yxml.scala Isar/isar.scala			\
   127   Tools/isabelle_process.scala Tools/isabelle_syntax.scala	\
   127   Thy/thy_header.scala Tools/isabelle_process.scala			\
   128   Tools/isabelle_system.scala
   128   Tools/isabelle_syntax.scala Tools/isabelle_system.scala
   129 
   129 
   130 
   130 
   131 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar
   131 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar
   132 
   132 
   133 jar: $(SCALA_TARGET)
   133 jar: $(SCALA_TARGET)