forked from Isabelle_DOF/Isabelle_DOF
Use full qualified name for templates.
This commit is contained in:
parent
b40069bedd
commit
6c0d325673
|
@ -1,6 +1,6 @@
|
||||||
session "mini_odo" = "Isabelle_DOF" +
|
session "mini_odo" = "Isabelle_DOF" +
|
||||||
options [document = pdf, document_output = "output", document_build = dof,
|
options [document = pdf, document_output = "output", document_build = dof,
|
||||||
dof_ontologies = "Isabelle_DOF.technical_report Isabelle_DOF.cenelec_50128", dof_template = "scrreprt-modern"]
|
dof_ontologies = "Isabelle_DOF.technical_report Isabelle_DOF.cenelec_50128", dof_template = "Isabelle_DOF.scrreprt-modern"]
|
||||||
theories
|
theories
|
||||||
"mini_odo"
|
"mini_odo"
|
||||||
document_files
|
document_files
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
session "2018-cicm-isabelle_dof-applications" = "Isabelle_DOF" +
|
session "2018-cicm-isabelle_dof-applications" = "Isabelle_DOF" +
|
||||||
options [document = pdf, document_output = "output", document_build = dof,
|
options [document = pdf, document_output = "output", document_build = dof,
|
||||||
dof_ontologies = "Isabelle_DOF.scholarly_paper", dof_template = lncs,
|
dof_ontologies = "Isabelle_DOF.scholarly_paper", dof_template = Isabelle_DOF.lncs,
|
||||||
quick_and_dirty = true]
|
quick_and_dirty = true]
|
||||||
theories
|
theories
|
||||||
IsaDofApplications
|
IsaDofApplications
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
session "2020-iFM-csp" = "Isabelle_DOF" +
|
session "2020-iFM-csp" = "Isabelle_DOF" +
|
||||||
options [document = pdf, document_output = "output", document_build = dof,
|
options [document = pdf, document_output = "output", document_build = dof,
|
||||||
dof_ontologies = "Isabelle_DOF.scholarly_paper", dof_template = scrartcl]
|
dof_ontologies = "Isabelle_DOF.scholarly_paper", dof_template = Isabelle_DOF.scrartcl]
|
||||||
theories
|
theories
|
||||||
"paper"
|
"paper"
|
||||||
document_files
|
document_files
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
session "Isabelle_DOF-Manual" = "Isabelle_DOF" +
|
session "Isabelle_DOF-Manual" = "Isabelle_DOF" +
|
||||||
options [document = pdf, document_output = "output", document_build = dof,
|
options [document = pdf, document_output = "output", document_build = dof,
|
||||||
dof_ontologies = "Isabelle_DOF.technical_report Isabelle_DOF.cenelec_50128", dof_template = "scrreprt-modern",
|
dof_ontologies = "Isabelle_DOF.technical_report Isabelle_DOF.cenelec_50128", dof_template = "Isabelle_DOF.scrreprt-modern",
|
||||||
quick_and_dirty = true]
|
quick_and_dirty = true]
|
||||||
theories
|
theories
|
||||||
"Isabelle_DOF-Manual"
|
"Isabelle_DOF-Manual"
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
session "TR_MyCommentedIsabelle" = "Isabelle_DOF" +
|
session "TR_MyCommentedIsabelle" = "Isabelle_DOF" +
|
||||||
options [document = pdf, document_output = "output", document_build = dof,
|
options [document = pdf, document_output = "output", document_build = dof,
|
||||||
dof_ontologies = "Isabelle_DOF.technical_report", dof_template = scrreprt,
|
dof_ontologies = "Isabelle_DOF.technical_report", dof_template = Isabelle_DOF.scrreprt,
|
||||||
quick_and_dirty = true]
|
quick_and_dirty = true]
|
||||||
theories
|
theories
|
||||||
"TR_MyCommentedIsabelle"
|
"TR_MyCommentedIsabelle"
|
||||||
|
|
|
@ -45,6 +45,7 @@ object DOF_Document_Build
|
||||||
dir: Path,
|
dir: Path,
|
||||||
doc: Document_Build.Document_Variant): Document_Build.Directory =
|
doc: Document_Build.Document_Variant): Document_Build.Directory =
|
||||||
{
|
{
|
||||||
|
val regex = """^.*\.""".r
|
||||||
val latex_output = new Latex_Output(context.options)
|
val latex_output = new Latex_Output(context.options)
|
||||||
val directory = context.prepare_directory(dir, doc, latex_output)
|
val directory = context.prepare_directory(dir, doc, latex_output)
|
||||||
|
|
||||||
|
@ -64,7 +65,8 @@ object DOF_Document_Build
|
||||||
// copy Isabelle/DOF LaTeX templates
|
// copy Isabelle/DOF LaTeX templates
|
||||||
val template_dir = dof_home + Path.explode("src/document-templates/")
|
val template_dir = dof_home + Path.explode("src/document-templates/")
|
||||||
// TODO: error handling in case 1) template does not exist or 2) root.tex does already exist
|
// TODO: error handling in case 1) template does not exist or 2) root.tex does already exist
|
||||||
Isabelle_System.copy_file(template_dir + Path.explode("root-"+context.options.string("dof_template")+".tex"),
|
val template = regex.replaceAllIn(context.options.string("dof_template"),"")
|
||||||
|
Isabelle_System.copy_file(template_dir + Path.explode("root-"+template+".tex"),
|
||||||
directory.doc_dir+Path.explode("root.tex"))
|
directory.doc_dir+Path.explode("root.tex"))
|
||||||
Isabelle_System.copy_file(template_dir + Path.explode("dof-common.tex"),
|
Isabelle_System.copy_file(template_dir + Path.explode("dof-common.tex"),
|
||||||
directory.doc_dir)
|
directory.doc_dir)
|
||||||
|
@ -77,7 +79,6 @@ object DOF_Document_Build
|
||||||
}
|
}
|
||||||
|
|
||||||
// create ontology.sty
|
// create ontology.sty
|
||||||
val regex = """^.*\.""".r
|
|
||||||
val ltx_styles = context.options.string("dof_ontologies").split(" +").map(s => regex.replaceAllIn(s,""))
|
val ltx_styles = context.options.string("dof_ontologies").split(" +").map(s => regex.replaceAllIn(s,""))
|
||||||
File.write(directory.doc_dir+Path.explode("ontologies.tex"),
|
File.write(directory.doc_dir+Path.explode("ontologies.tex"),
|
||||||
ltx_styles.mkString("\\usepackage{DOF-","}\n\\usepackage{DOF-","}\n"))
|
ltx_styles.mkString("\\usepackage{DOF-","}\n\\usepackage{DOF-","}\n"))
|
||||||
|
|
Reference in New Issue