Fixed scala build.

2023-02-26 21:55:29 +00:00 · 2023-02-26 21:55:29 +00:00 · 233079ef5f
parent 85e6cd0372
commit 233079ef5f
4 changed files with 3 additions and 1 deletions
--- a/Isabelle_DOF/etc/build.props
+++ b/Isabelle_DOF/etc/build.props
@ -4,6 +4,7 @@ no_build = false
 requirements = \
  env:ISABELLE_SCALA_JAR
 sources = \
+  scala/dof.scala \
  scala/dof_document_build.scala 
 services = \
  isabelle.dof.DOF_Document_Build$Engine
--- a/Isabelle_DOF/scala/dof.scala
+++ b/Isabelle_DOF/scala/dof.scala
--- a/Isabelle_DOF/thys/Isa_DOF.thy
+++ b/Isabelle_DOF/thys/Isa_DOF.thy
@ -3173,6 +3173,7 @@ scala_build_generated_files
  external_files
    "build.props" (in "../etc")
  and
+    "scala/dof.scala"
    "scala/dof_document_build.scala" (in "../")

 (*
--- a/etc/build.props
+++ b/etc/build.props
@ -4,7 +4,7 @@ no_build = false
 requirements = \
  env:ISABELLE_SCALA_JAR
 sources = \
-  scala/dof.scala \
+  Isabelle_DOF/scala/dof.scala \
  scala/dof_mkroot.scala \
  scala/dof_tools.scala
 services = \