51 .collectFirst({ case Version(v) => v }) |
51 .collectFirst({ case Version(v) => v }) |
52 .getOrElse(error("Failed to detect version in " + changelog)) |
52 .getOrElse(error("Failed to detect version in " + changelog)) |
53 } |
53 } |
54 |
54 |
55 val component = "lipics-" + version |
55 val component = "lipics-" + version |
56 val component_dir = Isabelle_System.new_directory(target_dir + Path.basic(component)) |
56 val component_dir = |
57 progress.echo("Component " + component_dir) |
57 Components.Directory.create(target_dir + Path.basic(component), progress = progress) |
58 |
58 |
59 Isabelle_System.copy_dir(lipics_dir, component_dir) |
59 Isabelle_System.copy_dir(lipics_dir, component_dir.path) |
60 |
60 |
61 |
61 |
62 /* settings */ |
62 /* settings */ |
63 |
63 |
64 val etc_dir = Isabelle_System.make_directory(component_dir + Path.basic("etc")) |
64 File.write(component_dir.settings, |
65 File.write(etc_dir + Path.basic("settings"), |
|
66 """# -*- shell-script -*- :mode=shellscript: |
65 """# -*- shell-script -*- :mode=shellscript: |
67 |
66 |
68 ISABELLE_LIPICS_HOME="$COMPONENT/authors" |
67 ISABELLE_LIPICS_HOME="$COMPONENT/authors" |
69 """) |
68 """) |
70 |
69 |
71 |
70 |
72 /* README */ |
71 /* README */ |
73 |
72 |
74 File.write(component_dir + Path.basic("README"), |
73 File.write(component_dir.README, |
75 """This is the Dagstuhl LIPIcs style for authors from |
74 """This is the Dagstuhl LIPIcs style for authors from |
76 """ + download_url + """ |
75 """ + download_url + """ |
77 |
76 |
78 |
77 |
79 Makarius |
78 Makarius |