[Pkg-ocaml-maint-commits] r2779 - in /trunk/packages/edos-debcheck:
trunk/ trunk/debian/ trunk/debian/patches/ upstream/
treinen at users.alioth.debian.org
treinen at users.alioth.debian.org
Mon May 22 11:46:54 UTC 2006
Author: treinen
Date: Mon May 22 11:46:54 2006
New Revision: 2779
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=2779
Log:
new
Added:
trunk/packages/edos-debcheck/trunk/
trunk/packages/edos-debcheck/trunk/debian/
trunk/packages/edos-debcheck/trunk/debian/changelog
trunk/packages/edos-debcheck/trunk/debian/compat
trunk/packages/edos-debcheck/trunk/debian/control
trunk/packages/edos-debcheck/trunk/debian/control.in
trunk/packages/edos-debcheck/trunk/debian/copyright
trunk/packages/edos-debcheck/trunk/debian/edos-debcheck.1
trunk/packages/edos-debcheck/trunk/debian/edos-rpmcheck.1
trunk/packages/edos-debcheck/trunk/debian/patches/
trunk/packages/edos-debcheck/trunk/debian/patches/00list
trunk/packages/edos-debcheck/trunk/debian/patches/01Makefile.dpatch (with props)
trunk/packages/edos-debcheck/trunk/debian/rules (with props)
trunk/packages/edos-debcheck/trunk/debian/svn-deblayout
trunk/packages/edos-debcheck/upstream/
trunk/packages/edos-debcheck/upstream/edos-debcheck_0.0.2006.03.19.orig.tar.gz (with props)
Added: trunk/packages/edos-debcheck/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/changelog?rev=2779&op=file
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/changelog (added)
+++ trunk/packages/edos-debcheck/trunk/debian/changelog Mon May 22 11:46:54 2006
@@ -1,0 +1,7 @@
+edos-debcheck (0.0.2006.03.19-1) experimental; urgency=low
+
+ * Initial Release.
+
+ -- Ralf Treinen <treinen at debian.org> Sat, 20 May 2006 08:56:26 +0200
+
+
Added: trunk/packages/edos-debcheck/trunk/debian/compat
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/compat?rev=2779&op=file
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/compat (added)
+++ trunk/packages/edos-debcheck/trunk/debian/compat Mon May 22 11:46:54 2006
@@ -1,0 +1,1 @@
+4
Added: trunk/packages/edos-debcheck/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/control?rev=2779&op=file
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/control (added)
+++ trunk/packages/edos-debcheck/trunk/debian/control Mon May 22 11:46:54 2006
@@ -1,0 +1,24 @@
+Source: edos-debcheck
+Section: devel
+Priority: optional
+Maintainer: Ralf Treinen <treinen at debian.org>
+Standards-Version: 3.7.2
+Build-Depends: ocaml-nox-3.09.2, debhelper (>= 4.0), dpatch
+
+Package: edos-debcheck
+Architecture: any
+Depends: ${shlibs:Depends}
+Description: Checks whether dependencies of debian packages can be satisfied
+ This software checks whether for every package of a distribution (in the
+ debian format .deb) whether it is
+ possible to satisfy its dependencies and conflicts within this
+ distribution.
+
+Package: edos-rpmcheck
+Architecture: any
+Depends: ${shlibs:Depends}
+Description: Checks whether dependencies of redhat packages can be satisfied
+ This software checks whether for every package of a distribution (in the
+ redhat format .rpm) whether it is
+ possible to satisfy its dependencies and conflicts within this
+ distribution.
Added: trunk/packages/edos-debcheck/trunk/debian/control.in
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/control.in?rev=2779&op=file
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/control.in (added)
+++ trunk/packages/edos-debcheck/trunk/debian/control.in Mon May 22 11:46:54 2006
@@ -1,0 +1,24 @@
+Source: edos-debcheck
+Section: devel
+Priority: optional
+Maintainer: Ralf Treinen <treinen at debian.org>
+Standards-Version: 3.7.2
+Build-Depends: ocaml-nox-#OcamlABI#, debhelper (>= 4.0), dpatch
+
+Package: edos-debcheck
+Architecture: any
+Depends: ${shlibs:Depends}
+Description: Checks whether dependencies of debian packages can be satisfied
+ This software checks whether for every package of a distribution (in the
+ debian format .deb) whether it is
+ possible to satisfy its dependencies and conflicts within this
+ distribution.
+
+Package: edos-rpmcheck
+Architecture: any
+Depends: ${shlibs:Depends}
+Description: Checks whether dependencies of redhat packages can be satisfied
+ This software checks whether for every package of a distribution (in the
+ redhat format .rpm) whether it is
+ possible to satisfy its dependencies and conflicts within this
+ distribution.
Added: trunk/packages/edos-debcheck/trunk/debian/copyright
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/copyright?rev=2779&op=file
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/copyright (added)
+++ trunk/packages/edos-debcheck/trunk/debian/copyright Mon May 22 11:46:54 2006
@@ -1,0 +1,21 @@
+This package was debianized by Ralf Treinen <treinen at debian.org> on
+Mon Apr 17 20:19:35 UTC 2006
+
+It was downloaded from
+https://protactinium.pps.jussieu.fr:12345/svn/edos/users/vouillon
+
+Upstream Author:
+Jerome Vouillon <Jerome.Vouillon at pps.jussieu.fr>
+
+Copyright (C) 2005 Jerome Vouillon
+
+These programs are free software; you can redistribute them and/or
+modify them under the terms of the GNU General Public License as
+published by the Free Software Foundation. License, or (at your
+option) any later version.
+
+These programs are distributed in the hope that they will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. On Debian
+systems, the complete text of the GNU General Public License can be
+found in the /usr/share/common-licenses/GPL file.
Added: trunk/packages/edos-debcheck/trunk/debian/edos-debcheck.1
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/edos-debcheck.1?rev=2779&op=file
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/edos-debcheck.1 (added)
+++ trunk/packages/edos-debcheck/trunk/debian/edos-debcheck.1 Mon May 22 11:46:54 2006
@@ -1,0 +1,85 @@
+.TH EDOS-DEBCHECK 1 2006-05-20 EDOS
+
+.SH NAME
+Edos-debcheck \- Check satisfiability of debian package dependencies
+
+.SH SYNOPSIS
+\fBedos-debcheck\fR [option] ... [package] ...
+
+.SH DESCRIPTION
+.B edos-debcheck
+reads from standard input a set of debian package descriptions, each of which
+is in the format of deb-control(5). For instance, the Packages files as found
+on a debian mirror server, or in the directory \fI/var/lib/apt/lists/\fR of a
+debian system, are suitable as input to \fBedos-debcheck\fR.
+
+Packages may appear with multiple versions
+in this set. We say that a package is identified in this set by the pair
+consisting of the
+.I package name
+and of the
+.I package version\fR.
+
+A package (called goal) is called \fIinstallable\fR with respect to a set of
+packages if there exists a subset of the packages that
+ - contains at most one version for each package name
+ - contains the goal package (in any version, or a specific version)
+ - all packages of the subset have their dependencies and conflicts satisfied
+in this subset.
+
+Debcheck checks whether every package given as argument is installable with
+respect to the input set of packages. Specific versions can be specified by
+following the package name with the sign '=' and the version of the package
+(for instance, 'xemacs21=21.4.17-1'). If no package name is given as argument
+then all packages of the input set are checked for satisfiability.
+
+The constraint solving algorithm is complete, that is it finds a solution
+whenever there exists on, even for multiple disjunctive dependencies and deep
+package conflicts. This problem is computationally infeasible in theory (that
+is, NP-complete), but can in practice be solved very efficiently.
+
+.SH OPTIONS
+.TP
+.B -check
+Double-check the results
+.TP
+.B -explain
+Explain the results
+.TP
+.B -rules
+Print generated rules
+.TP
+.B -failures
+Only show failures
+.TP
+.B -successes
+Only show successes
+.TP
+.B -help, --help
+Display this list of options
+
+.SH EXAMPLE
+Check which packages in a particular distribution are not installable and why:
+
+ edos-debcheck -failures -explain < Packages
+
+where Packages is the file pertaining to that distribution, as for instance
+found in the directory \fI /var/lib/apt/lists\fR.
+
+Check whether version 21.4.17-1 of the xemacs21 package is installable in a
+distribution described by the file Packages:
+
+ edos-debcheck -explain xemacs=21.4.17-1 < Packages
+
+
+.SH AUTHOR
+Edos-debcheck has been written by Jerome Vouillon for the EDOS project. This
+man-page has been compiled by Ralf Treinen.
+
+.SH SEE ALSO
+.BR deb-control (5)
+
+<http://www.edos-project.org> is the home page of the EDOS project.
+
+.BR edos-rpmcheck (1)
+is the analogous tool for rpm packages.
Added: trunk/packages/edos-debcheck/trunk/debian/edos-rpmcheck.1
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/edos-rpmcheck.1?rev=2779&op=file
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/edos-rpmcheck.1 (added)
+++ trunk/packages/edos-debcheck/trunk/debian/edos-rpmcheck.1 Mon May 22 11:46:54 2006
@@ -1,0 +1,78 @@
+.TH EDOS-RPMCHECK 1 2006-05-20 EDOS
+
+.SH NAME
+Edos-rpmcheck \- Check satisfiability of rpm package dependencies
+
+.SH SYNOPSIS
+\fBedos-rpmcheck\fR [option] ... [package] ...
+
+.SH DESCRIPTION
+.B edos-rpmcheck
+reads from standard input a set of rpm package descriptions. Packages may
+appear with multiple versions in this set. We say that a package is identified
+in this set by the pair consisting of the
+.I package name
+and of the
+.I package version\fR.
+
+A package (called goal) is called \fIinstallable\fR with respect to a set of
+packages if there exists a subset of the packages that
+ - contains at most one version for each package name
+ - contains the goal package (in any version, or a specific version)
+ - all packages of the subset have their dependencies and conflicts satisfied
+in this subset.
+
+.B Edos-rpmcheck
+checks whether every package given as argument is installable
+with respect to the input set of packages. Specific versions can be specified
+by following the package name with the sign '=' and the version of the package
+(for instance, 'xemacs21=21.4.17-1'). If no package name is given as argument
+then all packages of the input set are checked for satisfiability.
+
+The constraint solving algorithm is complete, that is it finds a solution
+whenever there exists on, even for multiple disjunctive dependencies and deep
+package conflicts. This problem is computationally infeasible in theory (that
+is, NP-complete), but can in practice be solved very efficiently.
+
+.SH OPTIONS
+.TP
+.B -check
+Double-check the results
+.TP
+.B -explain
+Explain the results
+.TP
+.B -rules
+Print generated rules
+.TP
+.B -failures
+Only show failures
+.TP
+.B -successes
+Only show successes
+.TP
+.B -help, --help
+Display this list of options
+
+.SH EXAMPLE
+Check which packages in a particular distribution are not installable and why:
+
+ edos-rpmcheck -failures -explain < Packages
+
+where Packages is the file pertaining to that distribution.
+
+Check whether version 21.4.17-1 of the xemacs21 package is installable in a
+distribution described by the file Packages:
+
+ edos-rpmcheck -explain xemacs=21.4.17-1 < Packages
+
+
+.SH AUTHOR
+Edos-rpmcheck has been written by Jerome Vouillon fro the EDOS project. This
+man-page has been compiled by Ralf Treinen.
+
+.SH SEE ALSO
+<http://www.edos-project.org> is the home page of the EDOS project.
+
+.BR edos-debcheck (1)
+is the analogous tool for debian packages.
Added: trunk/packages/edos-debcheck/trunk/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/patches/00list?rev=2779&op=file
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/patches/00list (added)
+++ trunk/packages/edos-debcheck/trunk/debian/patches/00list Mon May 22 11:46:54 2006
@@ -1,0 +1,1 @@
+01Makefile
Added: trunk/packages/edos-debcheck/trunk/debian/patches/01Makefile.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/patches/01Makefile.dpatch?rev=2779&op=file
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/patches/01Makefile.dpatch (added)
+++ trunk/packages/edos-debcheck/trunk/debian/patches/01Makefile.dpatch Mon May 22 11:46:54 2006
@@ -1,0 +1,26 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 01Makefile.dpatch by Ralf Treinen <treinen at debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: No description.
+
+ at DPATCH@
+diff -urNad trunk~/Makefile trunk/Makefile
+--- trunk~/Makefile 2006-04-17 21:53:39.000000000 +0200
++++ trunk/Makefile 2006-04-21 10:12:45.000000000 +0200
+@@ -26,6 +26,9 @@
+ clean::
+ find . -regex ".*\\.\(cm[oix]\|o\)" | xargs rm -f
+
++distclean: clean
++ -rm debcheck rpmcheck
++
+ .SUFFIXES: .cmo .cmi .cmx .ml .mli .mly .mll .idl .o .c
+
+ .ml.cmx:
+@@ -57,4 +60,4 @@
+ $(OCAMLDEP) $(DEPFLAGS) $$i \
+ > .depend
+
+-include .depend
++-include .depend
Propchange: trunk/packages/edos-debcheck/trunk/debian/patches/01Makefile.dpatch
------------------------------------------------------------------------------
svn:executable = *
Added: trunk/packages/edos-debcheck/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/rules?rev=2779&op=file
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/rules (added)
+++ trunk/packages/edos-debcheck/trunk/debian/rules Mon May 22 11:46:54 2006
@@ -1,0 +1,55 @@
+#!/usr/bin/make -f
+# debian/rules for debcheck
+
+include /usr/share/dpatch/dpatch.make
+
+# export DH_VERBOSE=1
+
+# for package maintainers only - target not used in build process!
+OCAMLABI := $(shell ocamlc -version)
+debian/control:
+ sed -e 's%#OcamlABI#%$(OCAMLABI)%' $@.in >$@
+
+build: debcheck
+debcheck: patch
+ dh_testdir
+ $(MAKE) depend
+ $(MAKE) debcheck rpmcheck
+
+clean: unpatch
+ dh_testdir
+ dh_testroot
+ touch .depend
+ $(MAKE) clean
+ -rm debcheck rpmcheck
+ dh_clean
+
+install: build
+ dh_testdir
+ dh_testroot
+ dh_clean -k
+ dh_installdirs -A /usr/bin /usr/share/man/man1
+ cp debcheck debian/edos-debcheck/usr/bin/edos-debcheck
+ cp rpmcheck debian/edos-rpmcheck/usr/bin/edos-rpmcheck
+ dh_installman -pedos-debcheck debian/edos-debcheck.1
+ dh_installman -pedos-rpmcheck debian/edos-rpmcheck.1
+
+binary-arch: build install
+ dh_testdir
+ dh_testroot
+ dh_installdocs
+ dh_installchangelogs
+ dh_link
+ dh_compress
+ dh_strip
+ dh_shlibdeps
+ dh_fixperms
+ dh_installdeb
+ dh_gencontrol
+ dh_md5sums
+ dh_builddeb
+
+binary-indep: build install
+
+binary: binary-indep binary-arch
+.PHONY: build clean binary-indep binary-arch binary install debian/control patch unpatch
Propchange: trunk/packages/edos-debcheck/trunk/debian/rules
------------------------------------------------------------------------------
svn:executable = *
Added: trunk/packages/edos-debcheck/trunk/debian/svn-deblayout
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/trunk/debian/svn-deblayout?rev=2779&op=file
==============================================================================
--- trunk/packages/edos-debcheck/trunk/debian/svn-deblayout (added)
+++ trunk/packages/edos-debcheck/trunk/debian/svn-deblayout Mon May 22 11:46:54 2006
@@ -1,0 +1,3 @@
+origDir=../upstream
+origUrl=svn+ssh://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/edos-debcheck/upstream
+tagsUrl=svn+ssh://svn.debian.org/svn/pkg-ocaml-maint/tags/packages/edos-debcheck
Added: trunk/packages/edos-debcheck/upstream/edos-debcheck_0.0.2006.03.19.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/edos-debcheck/upstream/edos-debcheck_0.0.2006.03.19.orig.tar.gz?rev=2779&op=file
==============================================================================
Binary file - no diff available.
Propchange: trunk/packages/edos-debcheck/upstream/edos-debcheck_0.0.2006.03.19.orig.tar.gz
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream
More information about the Pkg-ocaml-maint-commits
mailing list