debian/0000755000000000000000000000000012265563665007206 5ustar debian/gbp.conf0000644000000000000000000000003612265563375010622 0ustar [DEFAULT] pristine-tar = True debian/compat0000644000000000000000000000000212265563375010402 0ustar 9 debian/changelog0000644000000000000000000001263412265563375011064 0ustar aspcud (1:1.8.0-2) unstable; urgency=low * Fix package autotest (closes: #735138). Thanks to Matthias Klose and Martin Pitt for their indications! - add dependency of the test on aspcud - send all output to stderr instead of /dev/null, allow test to produce output on stderr - fix location of input directory - use /tmp for temporary files when TMPDIR not set * Add dependency on python, needed by scripts/aspcud.sh -- Ralf Treinen Tue, 14 Jan 2014 10:51:17 +0100 aspcud (1:1.8.0-1) unstable; urgency=low * New upstream release. This version runs with gringo 4 (closes: #733494) * debian/control: add XS-Testsuite. * Adapt patches to new upstream: pathes, add-trendy-criterion. * bump dependency on gringo to >= 4 * restrict dependency on clasp to << 3. * put test cases from version 2012.10.24 into debian/tests/cudf and modify debian/tests/upstream accordingly since this upstream release does not contain any test cases. -- Ralf Treinen Sat, 11 Jan 2014 09:13:51 +0100 aspcud (2012.10.24-6) unstable; urgency=medium * Upload with urgency medium to migrate to testing before gringo 4 * Put version constraint (<< 4) on dependency on gringo, following info received from upstream. * Standards-Version 3.9.5 (no change). * Add as-installed package test: - add DEP-8 style debian/tests/control - add debian/tests/upstream test script -- Ralf Treinen Tue, 17 Dec 2013 21:53:08 +0100 aspcud (2012.10.24-5) unstable; urgency=low * debian/solvers/aspcud: quote arguments to allow for shell metacharacters in arguments. Thanks to Pietro Abate for the hint. -- Ralf Treinen Wed, 09 Oct 2013 21:02:43 +0200 aspcud (2012.10.24-4) unstable; urgency=low * add sed script /usr/share/aspcud/misc11-to-misc12 based on an idea by Roberto Di Cosmo (thanks!) * Patch misc11-backward-compatiblity: translate optimization criteria in MISC11 style to MISC12. -- Ralf Treinen Sat, 29 Jun 2013 10:41:01 +0200 aspcud (2012.10.24-3) unstable; urgency=low * Fix changelog entry of previous upload (experimental -> unstable) * debian/control: update vcs-* fields (collab-maint git on alioth) * drop debian/svn-deblayout, add debian/gbp.conf (force pristine-tar) * debian/copyright: drop comment on omitting file cmake/macros.cmake that does no longer apply -- Ralf Treinen Fri, 24 May 2013 22:25:40 +0200 aspcud (2012.10.24-2) unstable; urgency=low * upload to unstable -- Ralf Treinen Fri, 10 May 2013 22:46:41 +0200 aspcud (2012.10.24-1) experimental; urgency=low * New upstream release (upstream svn release 5904) * debian/patches: - pathes: refreshed for new upstream version - no-cmake-errors: dropped since adopted upstream - gcc4.6: dropped since adopted upstream - clasp-2.1-apichange: dropped since we now build for clasp 2.1 only - added cmake-use-environment: makes the toplevel Makefile pass environment variables to cmake. Thanks to Roland Kaminski for the patch. -added add-trendy-criterion: make aspcud recognize the "trendy" optimisation criterion. * debian/control: - bump dependency on clasp to >= 2.1 since this is needed by this upstream version - bump debhelper compatibility level, and version of the build-dependency on debhelper, to 9. Needed to pass dpkg-build-flags to Makefile. - Standards-version 3.9.4 (no change) * debian/copyright: add copyright field for lemon/* (public domain) -- Ralf Treinen Sun, 04 Nov 2012 16:34:51 +0100 aspcud (2011.03.17.dfsg-6) unstable; urgency=low * Restored build-dependency on libboost-dev which was accidentially changed in the last upload. * Restored changelog-entry of version 2011.03.17.dfsg-4 that was accidentially mangled in the upload of 2011.03.17.dfsg-5. -- Ralf Treinen Fri, 07 Sep 2012 10:33:50 +0900 aspcud (2011.03.17.dfsg-5) unstable; urgency=low * Patch clasp-2.1-apichange: make aspcud work both with clasp 2.0 and clasp 2.1. Thanks a lot to Roland Kaminski for the patch (closes: #686356). * debian/copyright: - Fixed typo (Licence -> License) - separate paragraph for the GPL3 license - text of the "public domain" license. -- Ralf Treinen Sun, 02 Sep 2012 22:54:51 +0900 aspcud (2011.03.17.dfsg-4) unstable; urgency=low * Replace build-dependency on libboost1.46-dev by libboost-dev (closes: #672752) * standards-version 3.9.3 * debian/copyright: add Format line of machine-readable format 1.0, fix spelling, copyright of lemon/* -- Ralf Treinen Mon, 14 May 2012 21:02:50 +0200 aspcud (2011.03.17.dfsg-3) unstable; urgency=low * source package: put solver specification in debian/solvers/ascpcud * install more stuff through dh_install * solver specification: use interpolation variables for arguments -- Ralf Treinen Fri, 10 Jun 2011 20:40:39 +0200 aspcud (2011.03.17.dfsg-2) unstable; urgency=low * patch gcc4.6: fix FTBFS with gcc-4.6. Patch extracted from upstream svn (closes: #625071) -- Ralf Treinen Mon, 02 May 2011 22:46:38 +0200 aspcud (2011.03.17.dfsg-1) unstable; urgency=low * Intial upload (closes: #623601) -- Ralf Treinen Sun, 24 Apr 2011 17:28:26 +0200 debian/aspcud.10000644000000000000000000000251212265563375010545 0ustar .TH aspcud 1 "March 18, 2011" "Version 1.4" "USER COMMANDS" .SH NAME aspcud \- solve dependencies between packages .SH SYNOPSIS \fBaspcud\fR \fIinput-file output-file criterion\fR .SH DESCRIPTION .B aspcud solves package installation/removal/upgrade problems expressed in the CUDF format. It is intended to be called by package installers, but may also be used independently. If the tool is not able to find a solution then it prints "FAIL" to stdout. .SH ARGUMENTS All three command line arguments are mandatory: .TP .I input-file is the pathname of a file containing the problem specification in CUDF format (both the universe and the request) .TP .I output-file is the pathname of a file into which the solution will be written in CUDF output format. If the file does not exist it will be created, if it does already exist it will be overwritten without warning. .TP .I criterion desribes the optimization criterion. The criterion is a non-empty and comma-separated list of signed function names. Each sign is either "+" or "-", and each function name is one of removed, new, changed, notuptodate, unmet_recommends. One may also use the macros "trendy" or "paranoid". .SH AUTHOR .I Aspcud has been written by Roland Kaminski .SH SEE ALSO for the specification of the CUDF format. debian/aspcud.manpages0000644000000000000000000000002012265563375012170 0ustar debian/aspcud.1 debian/aspcud.install0000644000000000000000000000025512265563375012055 0ustar build/release/bin/cudf2lp usr/lib/aspcud/bin/ debian/solvers/aspcud usr/share/cudf/solvers/ scripts/encodings usr/share/aspcud debian/misc11-to-misc12 usr/share/aspcud debian/solvers/0000755000000000000000000000000012265563375010701 5ustar debian/solvers/aspcud0000644000000000000000000000022112265563375012076 0ustar description: CUDF solver based on the Answer Set Programming tools clasp and gringo exec: /usr/bin/aspcud "$in" "$out" "$pref" cudf-version: 2.0 debian/tests/0000755000000000000000000000000012265563375010346 5ustar debian/tests/cudf/0000755000000000000000000000000012265563375011267 5ustar debian/tests/cudf/upgrade1.cudf0000644000000000000000000000017212265563375013642 0ustar package: a version: 1 package: a version: 2 installed: true package: a version: 3 request: upgrade-request upgrade: a debian/tests/cudf/install1.cudf0000644000000000000000000000013712265563375013662 0ustar package: a version: 1 package: a version: 2 package: a version: 3 request: install: a > 1 debian/tests/cudf/install4.cudf0000644000000000000000000000013712265563375013665 0ustar package: a version: 1 package: a version: 2 package: a version: 3 request: install: a < 2 debian/tests/cudf/feature.cudf0000644000000000000000000000017012265563375013563 0ustar package: a version: 1 conflicts: a , b provides: b package: c conflicts: c version: 1 depends: b request: install: c debian/tests/cudf/self_conflict.cudf0000644000000000000000000000013512265563375014743 0ustar package: a version: 1 conflicts: a package: a version: 2 conflicts: a request: install: a debian/tests/cudf/install2.cudf0000644000000000000000000000014012265563375013655 0ustar package: a version: 1 package: a version: 2 package: a version: 3 request: install: a >= 2 debian/tests/cudf/install3.cudf0000644000000000000000000000014012265563375013656 0ustar package: a version: 1 package: a version: 2 package: a version: 3 request: install: a >= 2 debian/tests/cudf/install5.cudf0000644000000000000000000000013712265563375013666 0ustar package: a version: 1 package: a version: 2 package: a version: 3 request: install: a = 1 debian/tests/upstream0000755000000000000000000000101412265563375012130 0ustar #!/bin/sh set -e indir=debian/tests/cudf outdir=${TMPDIR-/tmp} for infile in $indir/*.cudf do for options in trendy paranoid do cudf=$(basename $infile) outfile=$outdir/${cudf%.cudf}.sol checkfile=$outdir/${cudf%.cudf}.check echo "============================================" >&2 echo "Run test \"$cudf\" with options \"$options\"." >&2 aspcud $infile $outfile $options 1>&2 cudf-check -cudf $infile -sol $outfile > $checkfile cat $checkfile >&2 grep -q "is_solution: true" $checkfile done done debian/tests/control0000644000000000000000000000010312265563375011743 0ustar Tests: upstream Depends: @, cudf-tools Restrictions: allow-stderr debian/rules0000755000000000000000000000023612265563375010265 0ustar #!/usr/bin/make -f %: dh $@ override_dh_auto_clean: -rm -rf build/release/* override_dh_auto_install: cp scripts/aspcud.sh debian/aspcud/usr/bin/aspcud debian/copyright0000644000000000000000000000312712265563375011142 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: aspcud Upstream-Contact: Roland Kaminski Source: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/aspcud/ Copyright: 2010, Roland Kaminski License: GPL-3+ Files: * Copyright: 2010, Roland Kaminski License: GPL-3+ Files: lemon/* Copyright: public-domain License: public-domain The author disclaims copyright to this source code. Files: libprogram_opts/* Copyright: 2006-2007, Benjamin Kaufmann License: GPL-3+ Files: libprogram_opts/program_opts/detail/smartpointer.h Copyright: 2004 Jean Gressmann (jsg@rz.uni-potsdam.de) 2006-2007, Benjamin Kaufmann License: GPL-3+ License: 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 package; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA . 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'. debian/patches/0000755000000000000000000000000012265563375010633 5ustar debian/patches/add-trendy-criterion0000644000000000000000000000203312265563375014603 0ustar Author: Ralf Treinen Description: Add the "trendy" optimisation criterion Index: aspcud/scripts/aspcud.sh =================================================================== --- aspcud.orig/scripts/aspcud.sh 2014-01-10 21:11:05.391365529 +0100 +++ aspcud/scripts/aspcud.sh 2014-01-10 21:11:05.387365516 +0100 @@ -6,6 +6,14 @@ cudf2lp_bin=/usr/lib/aspcud/bin/cudf2lp sharedir=/usr/share/aspcud +trendycriterion="-count(removed),-notuptodate(solution),-unsat_recommends(solution),-count(new)" + +if [[ $3 == trendy ]]; then + criterion=$trendycriterion; +else + criterion=$3 +fi + function enc() { for x in "." "$sharedir/encodings"; do @@ -114,7 +122,7 @@ clasp_opts=( "${clasp_opts[@]}" "${clasp_opts_implicit[@]}" ) if [[ $# -eq 3 ]]; then - cudf_opts=( "${cudf_opts[@]}" "-c" "$3" ) + cudf_opts=( "${cudf_opts[@]}" "-c" "$criterion" ) elif echo $(basename "$0") | grep -q "paranoid"; then [[ $# -ne 2 ]] && { die "error: exactly two arguments expected"; } cudf_opts=( "${cudf_opts[@]}" "-c" "paranoid" ) debian/patches/pathes0000644000000000000000000000141012265563375012036 0ustar Author: Ralf Treinen Description: Patch various pathes: - encodings of optimisation critera: subdirectory in /usr/share - cudf2lp: subdirectory in /usr/lib Index: aspcud-r5904/scripts/aspcud.sh =================================================================== --- aspcud-r5904.orig/scripts/aspcud.sh 2012-10-24 22:43:50.000000000 +0200 +++ aspcud-r5904/scripts/aspcud.sh 2012-10-29 13:31:20.000000000 +0100 @@ -3,11 +3,12 @@ clasp_bin=clasp unclasp_bin=unclasp gringo_bin=gringo -cudf2lp_bin=cudf2lp +cudf2lp_bin=/usr/lib/aspcud/bin/cudf2lp +sharedir=/usr/share/aspcud function enc() { - for x in "." "$base" "$base/encodings"; do + for x in "." "$sharedir/encodings"; do [[ -e "$x/$1" ]] && { echo "$x/$1"; return 0; } done echo "$x" debian/patches/cmake-use-environment0000644000000000000000000000144512265563375014776 0ustar Description: pass to cmake the environment variables containing the dpkg-build-flags Author: Roland Kaminski Integrated-by: Ralf Treinen Index: aspcud-2011.03.17.dfsg/Makefile =================================================================== --- aspcud-2011.03.17.dfsg.orig/Makefile 2012-10-24 21:59:52.000000000 +0200 +++ aspcud-2011.03.17.dfsg/Makefile 2012-10-24 22:05:50.000000000 +0200 @@ -12,7 +12,10 @@ mkdir -p build/release cd build/release && \ cmake ../.. \ - -DCMAKE_BUILD_TYPE=release && \ + -DCMAKE_BUILD_TYPE=Release \ + -DCMAKE_C_FLAGS_RELEASE="$(CFLAGS) $(CPPFLAGS)" \ + -DCMAKE_CXX_FLAGS_RELEASE="$(CXXFLAGS) $(CPPFLAGS)" \ + -DCMAKE_EXE_LINKER_FLAGS_RELEASE="$(LDFLAGS)" && \ $(MAKE) static: debian/patches/misc11-backward-compatiblity0000644000000000000000000000107412265563375016127 0ustar Author: Ralf Treinen , based on an idea by Roberto Di Cosmo Description: translate MISC11 optimization criteria into MISC12 Index: aspcud/scripts/aspcud.sh =================================================================== --- aspcud.orig/scripts/aspcud.sh 2013-06-28 12:40:18.000000000 +0200 +++ aspcud/scripts/aspcud.sh 2013-06-28 12:42:19.000000000 +0200 @@ -11,7 +11,7 @@ if [[ $3 == trendy ]]; then criterion=$trendycriterion; else - criterion=$3 + criterion=`sed -f /usr/share/aspcud/misc11-to-misc12 <<< $3` fi function enc() debian/patches/series0000644000000000000000000000011712265563375012047 0ustar pathes cmake-use-environment add-trendy-criterion misc11-backward-compatiblity debian/control0000644000000000000000000000143012265563375010605 0ustar Source: aspcud Section: admin Priority: extra Maintainer: Ralf Treinen Build-Depends: debhelper (>= 9), libboost-dev (>= 1.46), cmake (>= 2.6), re2c Standards-Version: 3.9.5 Homepage: http://www.cs.uni-potsdam.de/wv/aspcud/ Vcs-Git: git://git.debian.org/git/collab-maint/aspcud.git Vcs-Browser: http://git.debian.org/?p=collab-maint/aspcud.git;a=summary XS-Testsuite: autopkgtest Package: aspcud Architecture: any Depends: ${misc:Depends}, ${shlibs:Depends}, python, gringo (>= 4), clasp (>= 2.1.0), clasp (<< 3) Provides: cudf-solver Description: CUDF solver based on Answer Set Programming Aspcud is an experimental solver for package dependencies. A package universe and a request to install, remove or upgrade packages have to be encoded in the CUDF format. debian/misc11-to-misc120000644000000000000000000000056212265563375011743 0ustar # new -> count(new) # removed -> count(removed) # changed -> count(changed) # notuptodate -> notuptodate(solution) # unsat_recommends -> unsat_recommends(solution) # sum(name) -> sum(name,solution) s/\([+-]\)\(new\|removed\|changed\)/\1count(\2)/g s/\([+-]\)\(notuptodate\|unsat_recommends\)\([^(]\|$\)/\1\2(solution)\3/g s/\([+-]\)sum(\([a-z]*\))/\1sum(\2,solution)/g debian/aspcud.dirs0000644000000000000000000000010312265563375011340 0ustar usr/bin usr/lib/aspcud/bin usr/share/aspcud usr/share/cudf/solvers debian/source/0000755000000000000000000000000012265563375010504 5ustar debian/source/format0000644000000000000000000000001412265563375011712 0ustar 3.0 (quilt)