aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--genhdlist220
1 files changed, 20 insertions, 0 deletions
diff --git a/genhdlist2 b/genhdlist2
index 7824f31..0d727ef 100644
--- a/genhdlist2
+++ b/genhdlist2
@@ -232,6 +232,21 @@ genhdlist2 - generates an hdlist and a synthesis file
Do not use existing hdlist.cz, build hdlist from scratch.
+=item B<--file-deps>
+
+Use the given file to know which file dependencies are used by other media.
+Here is an example of use:
+
+ package foo in medium contrib requires /bin/bar
+ package bar in medium main has file /bin/bar
+
+ % echo /bin/bar > media/media_info/file-deps
+ % genhdlist2 --file-deps media/media_info/file-deps media/main/release
+
+ without file-deps, media/main/release/media_info/synthesis.hdlist.cz would not provide /bin/bar.
+
+This option is not needed for file-deps inside a same medium.
+
=item B<--no-md5sum>
Do not generate MD5SUM file.
@@ -269,6 +284,11 @@ important assumption: name-version-release-arch is enough to uniquely
indentify a package. So if foo-1-1 is in hdlist, genhdlist2 will keep it and
not bother verifying if it really is the same package.
+Contrary to F<gendistrib>, F<genhdlist2> doesn't have to be work on all media
+at once. For this, it assumes no inter media file dependencies are used. If
+you still have inter media file dependencies, you can use option
+B<--file-deps>.
+
=head1 SEE ALSO
gendistrib(1), parsehdlist(1)