diff options
| author | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-03 17:27:11 +0200 |
|---|---|---|
| committer | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-03 17:27:11 +0200 |
| commit | 7f4713547665e12e032501228a98586e5add48f7 (patch) | |
| tree | 24b7888cbbc24046ae15aa36b410e561db50721c /cmdline/makefile | |
| parent | ee8c790a660a817417267379bca1a26e7813dfde (diff) | |
add a tiny dump solver to quickly output a scenario
Diffstat (limited to 'cmdline/makefile')
| -rw-r--r-- | cmdline/makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/cmdline/makefile b/cmdline/makefile index 4462ccaf4..aea5d1db5 100644 --- a/cmdline/makefile +++ b/cmdline/makefile @@ -71,3 +71,10 @@ SLIBS = -lapt-pkg $(INTLLIBS) LIB_MAKES = apt-pkg/makefile SOURCE = apt-internal-solver.cc include $(PROGRAM_H) + +# The internal solver acting as an external +PROGRAM=apt-dump-solver +SLIBS = -lapt-pkg $(INTLLIBS) +LIB_MAKES = apt-pkg/makefile +SOURCE = apt-dump-solver.cc +include $(PROGRAM_H) |