changeset 76548 | 0af64cc2eee9 |
parent 76547 | 9fe5d8c70352 |
76547:9fe5d8c70352 | 76548:0af64cc2eee9 |
---|---|
58 Isabelle_System.copy_dir(lipics_dir, component_dir.path) |
58 Isabelle_System.copy_dir(lipics_dir, component_dir.path) |
59 |
59 |
60 |
60 |
61 /* settings */ |
61 /* settings */ |
62 |
62 |
63 File.write(component_dir.settings, |
63 component_dir.write_settings(""" |
64 """# -*- shell-script -*- :mode=shellscript: |
|
65 |
|
66 ISABELLE_LIPICS_HOME="$COMPONENT/authors" |
64 ISABELLE_LIPICS_HOME="$COMPONENT/authors" |
67 """) |
65 """) |
68 |
66 |
69 |
67 |
70 /* README */ |
68 /* README */ |