Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to new init_components, hoping that mira can digest that;
authorwenzelm
Fri, 17 Aug 2012 19:08:55 +0200
changeset 48848 ae7429d66b1e
parent 48847 06e8cb8f3f61
child 48852 9708686dbe62
updated to new init_components, hoping that mira can digest that;
Admin/mira.py file | annotate | diff | comparison | revisions 
--- a/Admin/mira.py	Fri Aug 17 19:07:14 2012 +0200
+++ b/Admin/mira.py	Fri Aug 17 19:08:55 2012 +0200
@@ -39,7 +39,9 @@
 
 Z3_NON_COMMERCIAL="yes"
 
-source "${ISABELLE_HOME}/Admin/init_components"
+init_components "$COMPONENT/contrib" "$ISABELLE_HOME/Admin/components/main"
+init_components "$COMPONENT/contrib" "$ISABELLE_HOME/Admin/components/optional"
+init_components "$COMPONENT/contrib" "$ISABELLE_HOME/Admin/components/nonfree"
 
 ''' + more_settings
isabelle