summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorDavid Kalnischkies <kalnischkies@gmail.com>2011-05-03 17:27:11 +0200
committerDavid Kalnischkies <kalnischkies@gmail.com>2011-05-03 17:27:11 +0200
commit7f4713547665e12e032501228a98586e5add48f7 (patch)
tree24b7888cbbc24046ae15aa36b410e561db50721c /debian
parentee8c790a660a817417267379bca1a26e7813dfde (diff)
add a tiny dump solver to quickly output a scenario
Diffstat (limited to 'debian')
-rw-r--r--debian/apt-utils.install1
-rw-r--r--debian/apt.dirs1
-rwxr-xr-xdebian/rules2
3 files changed, 3 insertions, 1 deletions
diff --git a/debian/apt-utils.install b/debian/apt-utils.install
index d947f26d4..0c72bfdc8 100644
--- a/debian/apt-utils.install
+++ b/debian/apt-utils.install
@@ -1 +1,2 @@
bin/libapt-inst*.so.* usr/lib/
+bin/apt-dump-solver usr/lib/apt/solvers/dump
diff --git a/debian/apt.dirs b/debian/apt.dirs
index 2770d79bb..f9c0b6c3e 100644
--- a/debian/apt.dirs
+++ b/debian/apt.dirs
@@ -1,5 +1,6 @@
usr/bin
usr/lib/apt/methods
+usr/lib/apt/solvers
usr/lib/dpkg/methods/apt
etc/apt
etc/apt/apt.conf.d
diff --git a/debian/rules b/debian/rules
index c8aefee63..77a7b4fdb 100755
--- a/debian/rules
+++ b/debian/rules
@@ -182,7 +182,7 @@ apt: build build-doc
dh_install -p$@ --sourcedir=$(BLD)
# Remove the bits that are in apt-utils
- rm $(addprefix debian/$@/usr/bin/apt-,$(APT_UTILS))
+ rm $(addprefix debian/$@/usr/bin/apt-,$(APT_UTILS) dump-solver)
# https has its own package
rm debian/$@/usr/lib/apt/methods/https