equal
deleted
inserted
replaced
66 foreach(entry => File.copy(entry.path, target_dir)) |
66 foreach(entry => File.copy(entry.path, target_dir)) |
67 |
67 |
68 |
68 |
69 /* components */ |
69 /* components */ |
70 |
70 |
71 def default_components_base: Path = Components.contrib(isabelle_home_user.absolute.dir) |
|
72 |
|
73 def init_components( |
71 def init_components( |
74 base: Path = default_components_base, |
72 base: Option[Path] = None, |
75 catalogs: List[String] = Nil, |
73 catalogs: List[String] = Nil, |
76 components: List[String] = Nil): List[String] = |
74 components: List[String] = Nil): List[String] = |
77 { |
75 { |
|
76 val base_dir = base getOrElse Components.contrib(isabelle_home_user.absolute.dir) |
78 val dir = Components.admin(isabelle_home.absolute) |
77 val dir = Components.admin(isabelle_home.absolute) |
79 catalogs.map(name => |
78 catalogs.map(name => |
80 "init_components " + File.bash_path(base) + " " + File.bash_path(dir + Path.basic(name))) ::: |
79 "init_components " + File.bash_path(base_dir) + " " + File.bash_path(dir + Path.basic(name))) ::: |
81 components.map(name => |
80 components.map(name => |
82 "init_component " + File.bash_path(base + Path.basic(name))) |
81 "init_component " + File.bash_path(base_dir + Path.basic(name))) |
83 } |
82 } |
84 |
83 |
85 |
84 |
86 /* settings */ |
85 /* settings */ |
87 |
86 |