equal
deleted
inserted
replaced
140 } |
140 } |
141 |
141 |
142 |
142 |
143 |
143 |
144 /** build_release **/ |
144 /** build_release **/ |
|
145 |
|
146 def distribution_classpath( |
|
147 components_base: Path, |
|
148 isabelle_home: Path, |
|
149 isabelle_classpath: String): List[Path] = |
|
150 { |
|
151 val base = isabelle_home.absolute |
|
152 val contrib_base = components_base.absolute |
|
153 |
|
154 Path.split(isabelle_classpath).map(path => |
|
155 { |
|
156 val abs_path = path.absolute |
|
157 File.relative_path(base, abs_path) match { |
|
158 case Some(rel_path) => rel_path |
|
159 case None => |
|
160 File.relative_path(contrib_base, abs_path) match { |
|
161 case Some(rel_path) => Path.explode("contrib") + rel_path |
|
162 case None => error("Bad ISABELLE_CLASSPATH element: " + path) |
|
163 } |
|
164 } |
|
165 }) ::: List(Path.explode("src/Tools/jEdit/dist/jedit.jar")) |
|
166 } |
145 |
167 |
146 private def execute(dir: Path, script: String): Unit = |
168 private def execute(dir: Path, script: String): Unit = |
147 Isabelle_System.bash(script, cwd = dir.file).check |
169 Isabelle_System.bash(script, cwd = dir.file).check |
148 |
170 |
149 private def execute_tar(dir: Path, args: String): Unit = |
171 private def execute_tar(dir: Path, args: String): Unit = |