| 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 |