Skip to content
Snippets Groups Projects
Commit cea1722f authored by Tom Wiesing's avatar Tom Wiesing :speech_balloon:
Browse files

Update def-build.mbt

parent a4668ee0
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 2 deletions
config/def-build.mbt
+ 3
− 2
View file @ cea1722f
......@@ -22,7 +22,8 @@ loadExtension("info.kwarc.mmt.api.archives.ErrorManager", List("--clean-unknown-
loadExtension("info.kwarc.mmt.api.ontology.AlignmentsServer",List(root + "alignments/Public/"))
loadExtension("info.kwarc.mmt.concepts.ConceptServer", Nil)
loadExtension("info.kwarc.mmt.api.web.JSONBasedGraphServer", Nil)
loadExtension("info.kwarc.mmt.api.ontology.RelationalReader", Nil) // TODO: Do we need to load this after config.mcf?
// load the catalog
loadConfig(root + "meta/inf/config/config.mcf", true)
loadConfig(root + "meta/inf/config/MathHub/config.mcf", true)
loadExtension("info.kwarc.mmt.api.ontology.RelationalReader", Nil)
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment