[Pkg-ocaml-maint-commits] r5961 - in /trunk/packages/edos-debcheck/trunk/debian: changelog contrib/edos-builddebcheck contrib/edos-builddebcheck.1

Thu Aug 21 15:49:00 UTC 2008

Author: treinen
Date: Thu Aug 21 15:49:00 2008
New Revision: 5961

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5961
Log:
better manpage, pass --prefix option to Zack's script

Modified:
    trunk/packages/edos-debcheck/trunk/debian/changelog
    trunk/packages/edos-debcheck/trunk/debian/contrib/edos-builddebcheck
    trunk/packages/edos-debcheck/trunk/debian/contrib/edos-builddebcheck.1

Modified: trunk/packages/edos-debcheck/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/changelog?rev=5961&op=diff
==============================================================================

--- trunk/packages/edos-debcheck/trunk/debian/changelog (original)
+++ trunk/packages/edos-debcheck/trunk/debian/changelog Thu Aug 21 15:49:00 2008
@@ -6,8 +6,10 @@
 
   [ Ralf Treinen ]
   * Fix spelling in edos-debcheck manpage (closes: Bug#495393).
+  * Extend edos-builddebcheck manpage: differenc to compilation from scratch.
+  * Edos-builddebcheck: call add-sources with --prefix option.
 
- -- Ralf Treinen <treinen at debian.org>  Sun, 17 Aug 2008 14:00:42 +0200
+ -- Ralf Treinen <treinen at debian.org>  Sun, 17 Aug 2008 15:01:52 +0200
 
 edos-debcheck (1.0-7) unstable; urgency=low
 

Modified: trunk/packages/edos-debcheck/trunk/debian/contrib/edos-builddebcheck
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/contrib/edos-builddebcheck?rev=5961&op=diff
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/contrib/edos-builddebcheck (original)
+++ trunk/packages/edos-debcheck/trunk/debian/contrib/edos-builddebcheck Thu Aug 21 15:49:00 2008
@@ -76,8 +76,9 @@
     }
 }
 
-open(RESULT,"/usr/share/edos-debcheck/add-sources.py < $packagefile $sourcesfile $architecture ".
-    "| edos-debcheck $edosoptions|");
+open(RESULT,"/usr/share/edos-debcheck/add-sources.py ".
+     "--prefix \"$sourceprefix\" < $packagefile $sourcesfile $architecture ".
+     "| edos-debcheck $edosoptions|");
 
 $sourcestanza=0;
 $explanation="";

Modified: trunk/packages/edos-debcheck/trunk/debian/contrib/edos-builddebcheck.1
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/contrib/edos-builddebcheck.1?rev=5961&op=diff
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/contrib/edos-builddebcheck.1 (original)
+++ trunk/packages/edos-debcheck/trunk/debian/contrib/edos-builddebcheck.1 Thu Aug 21 15:49:00 2008
@@ -1,4 +1,4 @@
-.TH EDOS-BUILDDEBCHECK 1 2008-08-12 EDOS
+.TH EDOS-BUILDDEBCHECK 1 2008-08-17 EDOS
 
 .SH NAME
 Edos-builddebcheck \- Check satisfiability of Debian package build-dependencies
@@ -26,21 +26,28 @@
 architecture is determined) are taken into account.
 
 Note that this is not the same thing as checking whether a distribution 
-can be rebuild from scratch, for at least two reasons:
+can be rebuild from scratch, for several reasons:
 
 \fB1.\fP
+No actual compilation is taking place, this tool only does a static
+analysis of package relationships.
+
+\fB2.\fP
 The binary packages in \fIPackages\fR are not necessarily those that are
 the result of the compilation of the source packages in
-\fISourcepackagefile\fR
+\fISourcepackagefile\fR.
 
-\fB2.\fP We do not check for cycles. For instance, imagine we have source
-packages \fIa\fP and \fIb\fP both generating one binary package of the same
-name as their source package, \fIa\fP build-depends on \fIb\fP and \fIb\fP
-build-depends on \fIa\fP. Then we can not rebuild the set of packages from
-scratch because of the cycle. However, if we already have binary packages for
-\fIa\fP and for \fIb\fP then we can recompile both for them, and
-\fBedos-builddebcheck\fP would not report an error in this case.
+\fB3.\fP We do not check for cycles. For instance, suppose that we have source
+packages \fIa\fP and \fIb\fP both generating one binary package of
+respectively the same name, and that \fIa\fP build-depends on \fIb\fP and
+\fIb\fP build-depends on \fIa\fP. Then we can not rebuild the set of packages
+from scratch because of the cycle. However, if we already have binary packages
+\fIa\fP and \fIb\fP then we can recompile both of them. Consequently,
+\fBedos-builddebcheck\fP will not report an error in this case.
 
+\fB4.\fP The underlying logical machine does a complete analysis of
+alternatives, and might report satisfiability of constraints in case actual
+tools (like apt) fail to find a solution.
 
 .SH OPTIONS
 .TP
@@ -57,12 +64,9 @@
 inside \fIPackagefile\fP.
 
 .SH AUTHOR
-Edos-builddebcheck has been written by Stefano Zacchirolli <zack at debian.org>
+Edos-builddebcheck has been written by Stefano Zacchiroli <zack at debian.org>
 and Ralf Treinen <treinen at debian.org>. It heavily relies on edos-debcheck
 which has been written by Jerome Vouillon for the EDOS project.
 
-
 .SH SEE ALSO
 .BR deb-control (5), edos-debcheck (1)
-
-


