debian/0000755000000000000000000000000012314057504007167 5ustar debian/watch0000644000000000000000000000047711600424135010223 0ustar # watch control file for uscan # Compulsory line, this is a version 3 file version=3 # qa.debian.org runs a redirector which allows a simpler form of URL # for SourceForge based projects. The format below will automatically # be rewritten to use the redirector. http://sf.net/potassco/clasp-([\d\.]+)-source\.tar\.gz debian/clasp.manpages0000644000000000000000000000000711600424135011776 0ustar clasp.1debian/rules0000755000000000000000000000335012314057152010247 0ustar #!/usr/bin/make -f # -*- makefile -*- # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 # compile with libtbb-dev only with linux 64bit intel/ppc architectures, # fallback in pentium4 processors is not implemented, see also note of # libtbb-dev: # # Note: if you are a user of the i386 architecture, i.e., 32-bit Intel # or compatible hardware, this package only supports Pentium4-compatible # and higher processors. # arch = $(shell dpkg-architecture -qDEB_BUILD_ARCH | egrep -x "(amd64|ia64|ppc64|ppc64el)") os = $(shell dpkg-architecture -qDEB_BUILD_ARCH_OS | grep linux) # use hardening config flags for compiling clasp CONFIG=hardening CONFIGPARMS = --prefix=/usr --with-claspre TOPBUILDDIR = build/$(CONFIG) ifeq ($(and $(if $(os),good), $(if $(arch),good)), good) CONFIGPARMS += --with-mt TBB_INCLUDE=/usr/include TBB_LIB=/usr/lib TOPBUILDDIR = build/$(CONFIG)_mt endif # # export CXXFLAGS and LDFLAGS for configure.sh # # add -O3 and NDEBUG and enable all hardening flags # DEB_CXXFLAGS_MAINT_APPEND = -O3 -DNDEBUG export DEB_BUILD_MAINT_OPTIONS = hardening=+all DPKG_EXPORT_BUILDFLAGS = 1 include /usr/share/dpkg/buildflags.mk # inject CPPFLAGS to CXXFLAGS CXXFLAGS += $(CPPFLAGS) %: dh $@ # call ./configure.sh $(CONFIGPARMS) override_dh_auto_configure: ./configure.sh --config=$(CONFIG) $(CONFIGPARMS) # build in $(TOPBUILDDIR) override_dh_auto_build: dh_auto_build --builddirectory=$(TOPBUILDDIR) # install clasp binary built in $(TOPBUILDDIR) override_dh_auto_install: dh_auto_install --builddirectory=$(TOPBUILDDIR) -- INSTALL_DIR=$(CURDIR)/debian/clasp/usr/bin # remove the whole build dir override_dh_auto_clean: rm -rf ./build # install CHANGES as changelog override_dh_installchangelogs: dh_installchangelogs CHANGES debian/copyright0000644000000000000000000000532012146717041011124 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: clasp Upstream-Contact: Benjamin Kaufmann Source: http://sourceforge.net/projects/potassco/files/clasp/ Files: * Copyright: 2006-2012, Benjamin Kaufmann License: GPL-2+ Files: debian/* Copyright: 2010-2013, Thomas Krennwallner License: GPL-2+ This package was debianized by Thomas Krennwallner on Thu, 04 Mar 2010 19:31:51 +0100 . On Debian systems, the complete text of the GNU General Public License version 2 can be found in `/usr/share/common-licenses/GPL-2'. Files: libclasp/clasp/satelite.h Copyright: 2003-2006, Niklas Een 2003-2006, Niklas Sorensson 2006-2010, Benjamin Kaufmann License: MIT Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: . The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. . THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. Files: libprogram_opts/* Copyright: 2004, 2006-2007, 2010 Benjamin Kaufmann License: GPL-2+ License: GPL-2+ 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 2 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 2 can be found in the file `/usr/share/common-licenses/GPL-2'. debian/docs0000644000000000000000000000000711600424135010032 0ustar README debian/source/0000755000000000000000000000000011600424135010462 5ustar debian/source/format0000644000000000000000000000001411600424135011670 0ustar 3.0 (quilt) debian/patches/0000755000000000000000000000000012016735265010624 5ustar debian/patches/clasp-manpage.patch0000644000000000000000000000527011600424135014346 0ustar Author: Thomas Krennwallner Description: Add clasp.1 manpage. Index: clasp-1.3.3/clasp.1 =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++ clasp-1.3.3/clasp.1 2010-06-05 07:26:20.000000000 +0200 @@ -0,0 +1,61 @@ +.\" Hey, EMACS: -*- nroff -*- +.\" First parameter, NAME, should be all caps +.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection +.\" other parameters are allowed: see man(7), man(1) +.TH CLASP 1 "March 4, 2010" +.\" Please adjust this date whenever revising the manpage. +.\" +.\" Some roff macros, for reference: +.\" .nh disable hyphenation +.\" .hy enable hyphenation +.\" .ad l left justify +.\" .ad b justify to both left and right margins +.\" .nf disable filling +.\" .fi enable filling +.\" .br insert line break +.\" .sp insert n+1 empty lines +.\" for manpage-specific macros, see man(7) +.SH NAME +clasp \- a conflict-driven nogood learning answer set solver +.SH SYNOPSIS +.B clasp +.RI [number] [options] +.SH DESCRIPTION +This manual page documents briefly the +.B clasp +command. +.PP +.\" TeX users may be more comfortable with the \fB\fP and +.\" \fI\fP escape sequences to invode bold face and italics, +.\" respectively. +\fBclasp\fP is an answer set solver for (extended) normal logic +programs. It combines the high-level modeling capacities of answer set +programming (ASP) with state-of-the-art techniques from the area of +Boolean constraint solving. The primary clasp algorithm relies on +conflict-driven nogood learning, a technique that proved very +successful for satisfiability checking (SAT). Unlike other learning +ASP solvers, clasp does not rely on legacy software, such as a SAT +solver or any other existing ASP solver. Rather, clasp has been +genuinely developed for answer set solving based on conflict-driven +nogood learning. clasp can be applied as an ASP solver (on LPARSE +output format), as a SAT solver (on simplified DIMACS/CNF format), or +as a PB solver (on OPB format). +.SH OPTIONS +These programs follow the usual GNU command line syntax, with long +options starting with two dashes (`-'). +A summary of options is included below. +For a complete description, see . +.TP +.B \-h, \-\-help +Show summary of options. +.TP +.B \-v, \-\-version +Show version of program. +.SH SEE ALSO +.BR gringo (1). +.br +.SH AUTHOR +clasp was written by Benjamin Kaufmann . +.PP +This manual page was written by Thomas Krennwallner , +for the Debian project (and may be used by others). debian/patches/series0000644000000000000000000000002412016735265012035 0ustar clasp-manpage.patch debian/compat0000644000000000000000000000000212012015460010353 0ustar 9 debian/control0000644000000000000000000000303112314056614010570 0ustar Source: clasp Section: interpreters Priority: extra Maintainer: Ubuntu Developers XSBC-Original-Maintainer: Debian Science Maintainers Uploaders: Thomas Krennwallner Build-Depends: debhelper (>= 9), dpkg-dev (>= 1.16.1~), libtbb-dev (>= 4.0+r233) [amd64 ia64 ppc64 ppc64el] Standards-Version: 3.9.4 Vcs-Git: git://git.debian.org/git/debian-science/packages/clasp.git Vcs-Browser: http://git.debian.org/?p=debian-science/packages/clasp.git Homepage: http://www.cs.uni-potsdam.de/clasp/ Package: clasp Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Recommends: gringo Suggests: potassco-guide Description: conflict-driven nogood learning answer set solver clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does not rely on legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning. clasp can be applied as an ASP solver (on LPARSE output format), as a SAT solver (on simplified DIMACS/CNF format), or as a PB solver (on OPB format). debian/changelog0000644000000000000000000002150412314057501011040 0ustar clasp (2.1.4-1ubuntu1) trusty; urgency=medium * Match the whole line in dpkg-architecture -qDEB_BUILD_ARCH check, to avoid getting confused by substrings. * Use TBB on ppc64el. -- Colin Watson Mon, 24 Mar 2014 16:37:20 +0000 clasp (2.1.4-1) unstable; urgency=low * New upstream release. -- Thomas Krennwallner Fri, 13 Dec 2013 11:44:18 +0100 clasp (2.1.3-1) unstable; urgency=low * New upstream release. * debian/copyright: Update copyright years. * debian/control: Remove DM-Upload-Allowed. -- Thomas Krennwallner Tue, 21 May 2013 09:22:08 +0200 clasp (2.1.1-1) unstable; urgency=low * New upstream release. * debian/control: Bump Standards-Version to 3.9.4 and Build-Depends on libtbb-dev >= 4.0+r233. * debian/copyright: Update copyright years. -- Thomas Krennwallner Wed, 28 Nov 2012 10:35:53 +0100 clasp (2.1.0-1) unstable; urgency=low * New upstream release. * debian/copyright: Fix Format URL. * debian/rules: Add hardening support. * debian/gcc-4.7.patch: Remove unnecessary patch. * debian/control: Bump Standards-Version to 3.9.3.1 and Build-Depends on dephelper >= 9. * debian/compat: Bump to 9. -- Thomas Krennwallner Mon, 27 Aug 2012 20:20:04 +0200 clasp (2.0.6-2) unstable; urgency=low * Team upload * Apply patch to FTBFS with gcc-4.7, thanks to Ilya Barygin (Closes: #674184) -- Dmitrijs Ledkovs Sun, 27 May 2012 15:41:47 +0100 clasp (2.0.6-1) unstable; urgency=low * New upstream release. * debian/control: Bump Standards-Version to 3.9.3. -- Thomas Krennwallner Wed, 04 Apr 2012 06:35:31 +0200 clasp (2.0.5-1ubuntu1~oneiric2) oneiric; urgency=low * Upload to ppa:~tkren/asp. -- Thomas Krennwallner Fri, 10 Feb 2012 09:01:57 +0100 clasp (2.0.5-1) unstable; urgency=low * New upstream release. -- Thomas Krennwallner Sun, 29 Jan 2012 20:27:04 +0100 clasp (2.0.4-1ubuntu1~oneiric1) oneiric; urgency=low * Upload to ppa:~tkren/asp. -- Thomas Krennwallner Wed, 30 Nov 2011 06:36:04 +0100 clasp (2.0.4-1) unstable; urgency=low * New upstream release. * debian/rules: Override all standard targets. * debian/patches/clasp-makefile.patch: Remove. -- Thomas Krennwallner Tue, 29 Nov 2011 18:29:33 +0100 clasp (2.0.3-4ubuntu1~oneiric1) oneiric; urgency=low * Upload to ppa:~tkren/asp. -- Thomas Krennwallner Tue, 18 Oct 2011 13:04:50 +0200 clasp (2.0.3-4) unstable; urgency=low * debian/control: Build-Depends on libtbb-dev >= 3.0+r018, version 2.2 is not supported. -- Thomas Krennwallner Mon, 17 Oct 2011 07:52:01 +0200 clasp (2.0.3-3) unstable; urgency=low * debian/control: Do not Build-Depends on libtbb-dev with i386, see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=642248. * debian/copyright: Fix obsolete-field-in-dep5-copyright and unversioned-copyright-format-uri lintian warnings. * debian/rules: Only set WITH_TBB for amd64, ia64, ppc64. -- Thomas Krennwallner Sun, 25 Sep 2011 21:05:22 +0200 clasp (2.0.3-2) unstable; urgency=low * Bug fixed with new upstream release: "Segfaults with --pre argument upon certain input", thanks to Joachim Breitner (Closes: #636772). -- Thomas Krennwallner Sun, 28 Aug 2011 08:09:00 +0200 clasp (2.0.3-1) unstable; urgency=low * New upstream release. * debian/copyright: Fix year. -- Thomas Krennwallner Wed, 24 Aug 2011 10:12:53 +0200 clasp (2.0.2-1ubuntu1~oneiric1) oneiric; urgency=low * Upload to ppa:~tkren/asp. -- Thomas Krennwallner Fri, 01 Jul 2011 06:49:46 +0200 clasp (2.0.2-1) unstable; urgency=low * New upstream release. * debian/patches/clasp-ld-as-needed.patch: Remove. -- Thomas Krennwallner Fri, 01 Jul 2011 05:25:39 +0200 clasp (2.0.1-2) unstable; urgency=low * debian/control: Setup as Debian Science project. - Set Maintainer to Debian Science Maintainers and Uploaders to Thomas Krennwallner. - Set DM-Upload-Allowed to yes. - Convert bzr repository to git and use Vcs-Git and Vcs-Browser accourdingly. * debian/patches/clasp-ld-as-needed.patch: Bug fix: "FTBFS with ld --as-needed", thanks to stefanor@debian.org; (Closes: #631270). -- Thomas Krennwallner Wed, 22 Jun 2011 19:44:48 +0200 clasp (2.0.1-1) unstable; urgency=low * New upstream release. * debian/control: Bump Standards-Version to 3.9.2. * debian/patches/clasp-istreameof.patch debian/patches/clasp-rpath.patch: Remove. -- Thomas Krennwallner Wed, 27 Apr 2011 10:50:10 +0200 clasp (2.0.0-3) unstable; urgency=low * debian/patches/clasp-istreameof.patch: Fix unsigned conversion bug. (Closes: #623850) * debian/control: Conditionally Build-Depends on libtbb-dev, it is only available on amd64,i386,ia64,ppc64. * debian/patches/clasp-makefile.patch: Allow for non-multithreading builds and install clasp. * debian/rules: Check for linux amd64,i386,ia64,ppc64 and invoke make accourdingly. * debian/install: Remove as we cannot know where we are going to build upfront. * debian/watch: Fix lintian debian-watch-contains-dh_make-template. -- Thomas Krennwallner Sat, 23 Apr 2011 12:30:18 +0200 clasp (2.0.0-2) unstable; urgency=low * Upload to Debian. (Closes: #623599) -- Thomas Krennwallner Thu, 21 Apr 2011 20:24:41 +0200 clasp (2.0.0-1~maverick1) maverick; urgency=low * New upstream release. * debian/patches/clasp-makefile.patch: Refreshed for multi-threading support. * debian/patches/clasp-rpath.patch: Fix lintian error binary-or-shlib-defines-rpath. * debian/control: Build-Depends on libtbb-dev. * debian/install: Install MT binary. -- Thomas Krennwallner Thu, 21 Apr 2011 19:35:27 +0200 clasp (1.3.8-1~maverick1) maverick; urgency=low * New upstream release. -- Thomas Krennwallner Thu, 21 Apr 2011 18:55:09 +0200 clasp (1.3.7-2) unstable; urgency=low * debian/copyright: Convert to DEP-5 format and add missing licenses. -- Thomas Krennwallner Mon, 28 Feb 2011 17:44:55 +0100 clasp (1.3.7-1~maverick1) maverick; urgency=low * New upstream version. -- Thomas Krennwallner Thu, 17 Feb 2011 08:20:03 +0100 clasp (1.3.6-3) unstable; urgency=low * Filed ITP. (Closes: #605877) -- Thomas Krennwallner Sun, 05 Dec 2010 17:56:39 +0100 clasp (1.3.6-2) unstable; urgency=low * Upload to mentors.debian.net. -- Thomas Krennwallner Sat, 20 Nov 2010 09:25:52 +0100 clasp (1.3.6-1~maverick1) maverick; urgency=low * New upstream version. * debian/copyright: Fix copyright information. -- Thomas Krennwallner Fri, 19 Nov 2010 21:42:10 +0100 clasp (1.3.5-3~maverick1) maverick; urgency=low * Add dirs and install file. * Bump Priority back to extra. * Fix Build-Depends. * Add override_dh_installchangelogs to rules. * Remove README.source. -- Thomas Krennwallner Wed, 20 Oct 2010 06:31:54 +0200 clasp (1.3.5-2~maverick1) maverick; urgency=low * Tag distro-series. * Fix Standards-Version and Priority. * Suggest potassco-guide. * Fix missing changelog. -- Thomas Krennwallner Sat, 09 Oct 2010 16:15:39 +0200 clasp (1.3.5-1) lucid; urgency=low * New upstream version. -- Thomas Krennwallner Sun, 26 Sep 2010 17:41:30 +0200 clasp (1.3.4-1) lucid; urgency=low * New upstream version. * Add claspre support. -- Thomas Krennwallner Wed, 16 Jun 2010 11:58:47 +0200 clasp (1.3.3-4) lucid; urgency=low * Switch to dpkg-source 3.0 (quilt) format. * Recommend gringo. -- Thomas Krennwallner Sat, 05 Jun 2010 07:36:19 +0200 clasp (1.3.3-3) lucid; urgency=low * Added watch file. * Added Vcs-Bzr to control. -- Thomas Krennwallner Tue, 01 Jun 2010 14:46:07 +0200 clasp (1.3.3-2) lucid; urgency=low * Moved to Ubuntu PPA. -- Thomas Krennwallner Wed, 26 May 2010 00:15:33 +0200 clasp (1.3.3-1) unstable; urgency=low * New upstream release. -- Thomas Krennwallner Fri, 09 Apr 2010 05:43:57 +0200 clasp (1.3.2-2) unstable; urgency=low * Added gringo to Suggests. -- Thomas Krennwallner Thu, 06 Mar 2010 11:18:26 +0100 clasp (1.3.2-1) unstable; urgency=low * Initial release. -- Thomas Krennwallner Thu, 04 Mar 2010 19:31:51 +0100 debian/dirs0000644000000000000000000000003611600424135010045 0ustar usr/bin/ usr/share/doc/clasp/