debian/0000755000000000000000000000000012151715455007174 5ustar debian/changelog0000644000000000000000000000225212151715455011047 0ustar packup (0.6-2) unstable; urgency=low * Migrate to git: - update Vcs-* fields in debian/control - add debian/gbp.conf with pristine-tar=true * Standards-Version 3.9.4 (no change) * Debhelper compatiblity level 9: - update debian/compat - bump version of build-dependency on debhelper * patch make-environment: proper usage of the build-environment by upstream's Makefile (fixes missing hardening flags). -- Ralf Treinen Thu, 30 May 2013 20:31:52 +0200 packup (0.6-1) unstable; urgency=low * New upstream release. -- Ralf Treinen Wed, 15 Jun 2011 22:12:11 +0200 packup (0.5-3) unstable; urgency=low * Remove wrapper since no longer needed * Use interpolation variables in solver specification file, add description -- Ralf Treinen Fri, 10 Jun 2011 21:39:00 +0200 packup (0.5-2) unstable; urgency=low * Install specification file into /usr/share/cudf/solvers. -- Ralf Treinen Mon, 06 Jun 2011 14:14:14 +0200 packup (0.5-1) unstable; urgency=low * Initial release (closes: #627973) -- Ralf Treinen Fri, 27 May 2011 21:36:20 +0200 debian/svn-deblayout0000644000000000000000000000031512151715455011712 0ustar origDir=../upstream origUrl=https://gforge.info.ucl.ac.be/svn/mancoosi/trunk/updb/debian-packages/packup/upstream tagsUrl=https://gforge.info.ucl.ac.be/svn/mancoosi/trunk/updb/debian-packages/packup/tags debian/packup.install0000644000000000000000000000007012151715455012044 0ustar packup usr/bin debian/solvers/* usr/share/cudf/solvers/ debian/source/0000755000000000000000000000000012151715455010474 5ustar debian/source/format0000644000000000000000000000001412151715455011702 0ustar 3.0 (quilt) debian/rules0000755000000000000000000000003612151715455010253 0ustar #!/usr/bin/make -f %: dh $@ debian/solvers/0000755000000000000000000000000012151715455010671 5ustar debian/solvers/packup0000644000000000000000000000021212151715455012072 0ustar description: CUDF solver based on the Pseudo-Boolean Constraint solver MiniSat+ exec: /usr/bin/packup -u $pref $in $out cudf-version: 2.0 debian/watch0000644000000000000000000000011512151715455010222 0ustar version=3 http://sat.inesc-id.pt/~mikolas/sw/packup/ ./packup-([\d.]+)\.tgz debian/copyright0000644000000000000000000000202012151715455011121 0ustar Upstream-Name: packup Upstream-Contact: Mikoláš Janota Source: http://sat.inesc-id.pt/~mikolas/drop/packup.tgz Licence: GPL-3+ Files: * Copyright: Licence: GPL-3+ This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see . On Debian systems, the full text of the GNU General Public License version 3 can be found in the file `/usr/share/common-licenses/GPL-3'. Files: debian/* Copyright: 2011 Ralf Treinen Licence: GPL-3+ debian/patches/0000755000000000000000000000000012151715455010623 5ustar debian/patches/minisat+-invocation0000644000000000000000000000120612151715455014433 0ustar Author: Ralf Treinen Description: invoke minisat+ with switch for old-format input Index: packup-0.2011.05.15/ExternalWrapper.cc =================================================================== --- packup-0.2011.05.15.orig/ExternalWrapper.cc 2011-05-15 21:28:27.000000000 +0200 +++ packup-0.2011.05.15/ExternalWrapper.cc 2011-05-15 21:29:18.000000000 +0200 @@ -33,7 +33,7 @@ :min_cost(LONG_MAX) ,solution_value (-1) ,_id_manager(id_manager) -,solver_command("minisat+ -cs -ansi") +,solver_command("minisat+ -cs -ansi -old-fmt") ,multiplication_string("*") ,temporary_directory("/tmp") ,leave_temporary_files(false) debian/patches/make-environment0000644000000000000000000000235212151715455014027 0ustar Author: Ralf Treinen Description: Fix usage of build-environment by the Makefile: rename LNFLAGS to LDFLAGS, use CXXFLAGS and CPPFLAGS Index: packup/Makefile =================================================================== --- packup.orig/Makefile 2013-05-30 16:05:48.000000000 +0200 +++ packup/Makefile 2013-05-30 16:34:21.000000000 +0200 @@ -20,7 +20,7 @@ CFLAGS += -DCHANGESET='"$(CHANGESET)"' -DRELDATE='"$(RELDATE)"' CFLAGS+=-D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wno-parentheses -Wno-deprecated LIBS+=-lz -#LNFLAGS+=-static +#LDAGS+=-static # comment out if arbitrary precision not needed LIBS+=-lgmpxx -lgmp @@ -32,7 +32,7 @@ $(XTRGT): objs @echo Linking: $@ - @$(CXX) $(COBJS) $(LNFLAGS) $(LIBD) $(LIBS) -o $@ + @$(CXX) $(COBJS) $(LDFLAGS) $(LIBD) $(LIBS) -o $@ objs: Lexer.o p.tab.o $(COBJS) @@ -42,7 +42,7 @@ ## Build rule %.o: %.cc @echo Compiling: $@ - @$(CXX) -I. $(CFLAGS) -c -o $@ $< + @$(CXX) -I. $(CPPFLAGS) $(CFLAGS) $(CXXFLAGS) -c -o $@ $< ## This needs bison and ragel, comment in if parsing changes #Lexer.cc: p.tab.cc l.rl Lexer.hh @@ -52,4 +52,4 @@ # $(BISON) --defines=p.tab.hh -o p.tab.cc p.bison clean: - rm -f $(XTRGT) $(COBJS) + rm -f $(XTRGT) $(COBJS) debian/patches/series0000644000000000000000000000004512151715455012037 0ustar minisat+-invocation make-environment debian/gbp.conf0000644000000000000000000000003612151715455010612 0ustar [DEFAULT] pristine-tar = True debian/packup.manpages0000644000000000000000000000002012151715455012164 0ustar debian/packup.1 debian/compat0000644000000000000000000000000212151715455010372 0ustar 9 debian/control0000644000000000000000000000151112151715455010575 0ustar Source: packup Section: admin Priority: extra Maintainer: Ralf Treinen Build-Depends: debhelper (>= 9), libgmp-dev, zlib1g-dev Standards-Version: 3.9.4 Vcs-Git: git://git.debian.org/git/collab-maint/packup.git Vcs-Browser: http://git.debian.org/?p=collab-maint/packup.git;a=summary Homepage: http://sat.inesc-id.pt/~mikolas/sw/packup/ Package: packup Architecture: any Depends: ${misc:Depends}, ${shlibs:Depends}, minisat+ Provides: cudf-solver Description: CUDF solver based on pseudo-Boolean constraints packup is a solver for the package upgradability problem specified in the CUDF format. It repeatedly invokes an optimization pseudo-Boolean solver in order to solve the problem. By default minisat+ is used for that purpose but a different solver can be used by specifying the pertaining command line option. debian/packup.dirs0000644000000000000000000000001012151715455011331 0ustar usr/bin debian/packup.10000644000000000000000000000600212151715455010537 0ustar .TH PACKUP 1 "May 2011" "" "User Commands" .SH NAME PackUP -- PACKage Upgradability Problem solver .SH SYNOPSIS .B packup [OPTIONS] input_file_name [output_file_name] .SH DESCRIPTION .PP packup is a solver for the package upgradability problem specified in CUDF [TZ09]. It repeatedly invokes an optimization pseudo-Boolean solver in order to solve the problem. By default minisat+ [ES06] is used for that purpose but a different solver can be used by specifying the pertaining command line option. .PP If input_file_name is '-', input is read from the standard input. If the output_file_name is omitted, output is produced to the standard output. .SH OPTIONS .TP \fB\-t\fR Use trendy criterion .TP \fB\-p\fR Use paranoid criterion .TP \fB\-u\fR \fIcs\fR Use user criterion \fIcs\fR. A criterion is a lexicographic combination of the utility functions removed, notuptodate, unmet_recommends, new, and changed. Each of them with a polarity ("+" for a function to maximize, "-" for a function to minimize). The functions are listed in decreasing order of priority, and separated by the symbol ",". For instance, the paranoid criterion could be written as -removed,-changed. For more details see: http://www.mancoosi.org/misc-live/20101126/criteria/ .TP \fB\-\-external-solver\fR command for the external solver default 'minisat+ -ansi' .TP \fB\-\-multiplication-string\fR string between coefficients and variables when communicating to the solver, default '*' .TP \fB\-\-temporary-directory\fR \fIDIR\fR directory where temporary files are created. If this option is not given then the value of $TMPDIR is used if defined, otherwise temporary files are placed in '/tmp'. .TP \fB\-\-leave-temporary-files\fR do not delete temporary files .SH AUTHOR Written by Mikolas Janota and Joao Marques Silva .SH REPORTING BUGS Please report any problems with the solver to mikolas@sat.inesc-id.pt .SH REFERENCES .PP [ES06] Niklas Een and Niklas Sorensson. Translating Pseudo-Boolean Constraints into SAT. SAT, 2006 .PP [TZ09] Ralf Treinen and Stefano Zacchiroli. Common upgradeability description format (CUDF) 2.0. Technical Report 003, MANCOOSI, November 200 .SH COPYRIGHT NOTICE .PP (C) 2011 Mikolas Janota .PP This file is part of packup. .PP packup is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. .PP packup is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with packup. If not, see .