File | modules.str |
Author | unknown |
Since | unknown |
CHANGES (by Joost Visser)
Strategy pack-modules(pack, dep-base) now takes two additonal options:-dep target-nodep
The first one specifies the maketarget and basename of thedependency file that is created. If this option is not passed,the argument dep-base is used instead. Finally, the -nodep optioncan be used to disable this and prevent any dependency file tobe created. Note that -dep takes precendence over -nodep.
An additional strategy pack-modules(pack) was added that behaveslike pack-modules, except no default for the dependency file base name needs to be specified. Hence, only the command lineoptions are relevant.
by Eelco Visser (2002-12-18): Refactored using new (config-style) option handling.
General | |
Lines of code | 45 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 3 (0% documented) |
Rule number | 1 (0% documented) |
DynamicRule number | 0 |
Strategy summary |
||
pack-modules(Strategy pack) | n/a | modules.str |
pack-modules(Strategy pack, Strategy dep-base) | n/a | modules.str |
pack-options | n/a | modules.str |
Rule summary |
||
create-dep-file(Strategy dep-base) | n/a | modules.str |