From: Thomas Krennwallner Date: Mon, 18 Aug 2014 15:10:34 +0000 (+0100) Subject: gringo (4.4.0-1) unstable; urgency=low X-Git-Tag: archive/raspbian/5.3.0-13+rpi1~1^2^2^2~1 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=1aaec54519963bc2aba0432ae08401abb808adb1;p=gringo.git gringo (4.4.0-1) unstable; urgency=low * New upstream release. * debian/control: Remove Suggests on potassco-guide. * debian/control: Fix Vcs fields to use anonscm.debian.org. * Setup git repository to use git-buildpackage. * Import upstream sources with git-import-orig --pristine-tar. [dgit import unpatched gringo 4.4.0-1] --- 1aaec54519963bc2aba0432ae08401abb808adb1 diff --cc debian/changelog index 0000000,0000000..2c0d3cf new file mode 100644 --- /dev/null +++ b/debian/changelog @@@ -1,0 -1,0 +1,265 @@@ ++gringo (4.4.0-1) unstable; urgency=low ++ ++ * New upstream release. ++ * debian/control: Remove Suggests on potassco-guide. ++ * debian/control: Fix Vcs fields to use anonscm.debian.org. ++ * Setup git repository to use git-buildpackage. ++ * Import upstream sources with git-import-orig --pristine-tar. ++ ++ -- Thomas Krennwallner Mon, 18 Aug 2014 17:10:34 +0200 ++ ++gringo (4.3.0-2) unstable; urgency=low ++ ++ * Bug fix: "non-standard gcc/g++ used for build (gcc-4.8)", thanks to ++ Matthias Klose (Closes: #751317). ++ * Build with system-wide liblua5.2-dev. ++ ++ -- Thomas Krennwallner Thu, 12 Jun 2014 09:16:31 +0200 ++ ++gringo (4.3.0-1) unstable; urgency=low ++ ++ * New upstream release. ++ ++ -- Thomas Krennwallner Wed, 26 Feb 2014 13:06:29 +0100 ++ ++gringo (4.2.1-4) unstable; urgency=low ++ ++ * Bug fix: "add ppc64el to architecture list for libtbb-dev to fix ++ FTBFS", thanks to Logan Rosen (Closes: #735005). ++ ++ -- Thomas Krennwallner Sun, 12 Jan 2014 19:22:44 +0100 ++ ++gringo (4.2.1-3) unstable; urgency=low ++ ++ * debian/control: Breaks aspcud <= 2012.10.24-6 after discussion with ++ upstream. ++ Remove spurious Build-Depends on libboost-filesystem-dev and ++ libboost-system-dev. ++ ++ -- Thomas Krennwallner Wed, 18 Dec 2013 09:42:59 +0100 ++ ++gringo (4.2.1-2) unstable; urgency=low ++ ++ * debian/control: FTBFS on ia64 sparc powerpc, Build-Depends is now ++ g++-4.8 >= 4.8.0. ++ * debian/rules: Set CXX to g++-4.8. ++ ++ -- Thomas Krennwallner Tue, 17 Dec 2013 07:07:54 +0100 ++ ++gringo (4.2.1-1) unstable; urgency=low ++ ++ gringo 4.2 adds support for {i,o,}clingo again. ++ ++ * New upstream release. ++ * debian/watch: Back to watching all releases of gringo. ++ * debian/rules: Add scons, python, tbb, and hardening support. ++ * debian/install: Install gringo and clingo. ++ * debian/gringo.links: Symlink clingo binary and manpage to {i,o}clingo. ++ * debian/gringo.manpages: Remove iclingo manpage. ++ * debian/control: Build-Depends on bison, scons, g++ >= 4.8.0, ++ libpython2.7-dev, libtbb-dev. ++ Bump Standards-Version to 3.9.5. ++ ++ -- Thomas Krennwallner Mon, 16 Dec 2013 16:28:42 +0100 ++ ++gringo (3.0.5-1) unstable; urgency=low ++ ++ * New upstream release. ++ * debian/copyright: Update copyright years. ++ * debian/compat: Bump to version 9. ++ * debian/control: ++ - Remove DM-Upload-Allowed. ++ - Build-Depends on debhelper >= 9. ++ * debian/watch: Only watch upstream gringo >= 3. ++ * debian/patches/gringo-clang-gcc.patch debian/patches/gringo-cond.patch ++ debian/patches/gringo-domain-fwd-decl.patch ++ debian/patches/gringo-unpool-pred.patch debian/patches/series: Remove ++ already applied patches. ++ ++ -- Thomas Krennwallner Tue, 21 May 2013 19:04:24 +0200 ++ ++gringo (3.0.4-4) unstable; urgency=low ++ ++ * Apply upstream patches from subversion r6200 and r6237 for fixing ++ potassco bugs 75 and 76, resp. ++ * debian/patches/gringo-cond.patch: New file originally from ++ http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-cond.diff?format=raw. ++ * debian/patches/gringo-unpool-pred.patch: New file originally from ++ http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-unpool-pred.diff?format=raw. ++ * debian/control: Bump Standards-Version to 3.9.4. ++ ++ -- Thomas Krennwallner Thu, 22 Nov 2012 10:40:56 +0100 ++ ++gringo (3.0.4-3) unstable; urgency=low ++ ++ * Bug fix: "please build-depend on unversionend boost libraries", thanks ++ to Ralf Treinen (Closes: #672933). ++ ++ -- Thomas Krennwallner Wed, 23 May 2012 15:25:09 +0200 ++ ++gringo (3.0.4-2) unstable; urgency=low ++ ++ * debian/patches/gringo-clang-gcc.patch: New file originally from ++ https://potassco.svn.sourceforge.net/svnroot/potassco/tags/gringo-3.0.4/patches/patch-clang.diff. ++ * Bug fix: "ftbfs with GCC-4.7", thanks to Matthias Klose (Closes: ++ #667193). ++ * debian/control: Bump Standards-Version to 3.9.3. ++ ++ -- Thomas Krennwallner Tue, 10 Apr 2012 16:48:52 +0200 ++ ++gringo (3.0.4-1ubuntu1~oneiric1) oneiric; urgency=low ++ ++ * Upload to ppa:~tkren/asp. ++ ++ -- Thomas Krennwallner Fri, 27 Jan 2012 08:08:04 +0100 ++ ++gringo (3.0.4-1) unstable; urgency=low ++ ++ * New upstream release. ++ ++ -- Thomas Krennwallner Thu, 26 Jan 2012 14:59:59 +0100 ++ ++gringo (3.0.3-7) unstable; urgency=low ++ ++ * debian/copyright: Fix comma-separated-files-in-dep5-copyright, ++ obsolete-field-in-dep5-copyright and unversioned-copyright-format-uri ++ lintian warnings. ++ * Bug fix: "FTBFS: clone_allocator.hpp:34:27: error: invalid use of ++ incomplete type ", thanks to Lucas Nussbaum ++ (Closes: #652787). ++ * debian/patches/gringo-domain-fwd-decl.patch: New file. ++ * debian/control: Build-Depends on re2c to recreate parser.cpp from ++ parser.r2c, add boost version libboost-*N.MM-dev. ++ * debian/rules: Add override_dh_auto_configure and remove parser.cpp and ++ converter.cpp to force recreation of re2c lexer files. ++ ++ -- Thomas Krennwallner Sun, 25 Dec 2011 18:44:20 +0100 ++ ++gringo (3.0.3-6) 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 ++ accordingly. ++ - Build-Depends on debhelper >= 8.0.0. ++ * debian/rules: Add override_dh_auto_build to get rid off ++ debian/patches/gringo-makefile.patch. ++ * debian/patches/gringo-makefile.patch debian/patches/series: Remove ++ debian/patches/gringo-makefile.patch. ++ ++ -- Thomas Krennwallner Mon, 05 Sep 2011 13:21:51 +0200 ++ ++gringo (3.0.3-5~natty1) natty; urgency=low ++ ++ * debian/watch: Fix lintian debian-watch-contains-dh_make-template. ++ * debian/control: Lower Priority to extra and bump Standards-Version to ++ 3.9.2. ++ ++ -- Thomas Krennwallner Fri, 29 Apr 2011 07:11:12 +0200 ++ ++gringo (3.0.3-4) unstable; urgency=low ++ ++ * debian/control: Combine gringo, clingo, and iclingo binary packages ++ into gringo. ++ + Conflicts and Replaces clingo and iclingo. ++ * debian/copyright: Convert to DEP-5 format and add missing licenses. ++ * debian/rules: Add override_dh_installchangelogs for CHANGES file. ++ * debian/install: Install gringo, clingo and iclingo. ++ * Refresh debian/patches/gringo-makefile.patch; do not install anything ++ here. ++ ++ -- Thomas Krennwallner Tue, 22 Feb 2011 09:38:26 +0100 ++ ++gringo (3.0.3-3) unstable; urgency=low ++ ++ * Initial upload (Closes: #605879) ++ ++ -- Thomas Krennwallner Sun, 05 Dec 2010 18:01:28 +0100 ++ ++gringo (3.0.3-2) unstable; urgency=low ++ ++ * Upload to mentors.debian.net. ++ ++ -- Thomas Krennwallner Sat, 20 Nov 2010 09:43:35 +0100 ++ ++gringo (3.0.3-1~maverick1) maverick; urgency=low ++ ++ * New upstream release. ++ ++ * Fix changelog entries. ++ ++ -- Thomas Krennwallner Fri, 12 Nov 2010 05:53:36 +0100 ++ ++gringo (3.0.2-2~maverick1) maverick; urgency=low ++ ++ * Tag distro-series. ++ ++ * Fix Standards-Version and Priority. ++ ++ * Suggest potassco-guide. ++ ++ * Fix missing changelog. ++ ++ * Add additional authors to copyright. ++ ++ -- Thomas Krennwallner Sun, 10 Oct 2010 08:50:01 +0200 ++ ++gringo (3.0.2-1) lucid; urgency=low ++ ++ * New upstream release. ++ ++ -- Thomas Krennwallner Mon, 04 Oct 2010 22:03:12 +0200 ++ ++gringo (3.0.1-2) lucid; urgency=low ++ ++ * Build with system-wide liblua5.1-dev. ++ ++ -- Thomas Krennwallner Wed, 28 Jul 2010 06:15:10 +0200 ++ ++gringo (3.0.1-1) lucid; urgency=low ++ ++ * New upstream release. ++ ++ -- Thomas Krennwallner Tue, 27 Jul 2010 06:00:34 +0200 ++ ++gringo (2.0.5-6) lucid; urgency=low ++ ++ * Switch to dpkg-source 3.0 (quilt) format. ++ ++ * Fix lintian warning debhelper-but-no-misc-depends: add ${misc:Depends} to potassco-guide. ++ ++ -- Thomas Krennwallner Sun, 06 Jun 2010 18:18:22 +0200 ++ ++gringo (2.0.5-5) lucid; urgency=low ++ ++ * Added watch file. ++ ++ * Added Vcs-Bzr to control. ++ ++ -- Thomas Krennwallner Tue, 01 Jun 2010 14:47:13 +0200 ++ ++gringo (2.0.5-4) lucid; urgency=low ++ ++ * Set Architecture of all binary packages to "any". ++ ++ -- Thomas Krennwallner Fri, 28 May 2010 09:21:58 +0200 ++ ++gringo (2.0.5-3) lucid; urgency=low ++ ++ * Set Architecture of all binary packages to "all". ++ ++ -- Thomas Krennwallner Fri, 28 May 2010 07:04:46 +0200 ++ ++gringo (2.0.5-2) lucid; urgency=low ++ ++ * Moved to Ubuntu PPA. ++ ++ -- Thomas Krennwallner Wed, 26 May 2010 00:33:32 +0200 ++ ++gringo (2.0.5-1) unstable; urgency=low ++ ++ * Initial release. ++ ++ -- Thomas Krennwallner Thu, 04 Mar 2010 19:47:14 +0100 diff --cc debian/compat index 0000000,0000000..ec63514 new file mode 100644 --- /dev/null +++ b/debian/compat @@@ -1,0 -1,0 +1,1 @@@ ++9 diff --cc debian/control index 0000000,0000000..1e5cadd new file mode 100644 --- /dev/null +++ b/debian/control @@@ -1,0 -1,0 +1,48 @@@ ++Source: gringo ++Section: interpreters ++Priority: extra ++Maintainer: Debian Science Maintainers ++Uploaders: Thomas Krennwallner ++Build-Depends: debhelper (>= 9), ++ g++ (>= 4:4.8.0), ++ scons, ++ re2c, ++ bison, ++ libtbb-dev (>= 4.0+r233) [amd64 ia64 ppc64 ppc64el], ++ liblua5.2-dev, ++ libpython2.7-dev ++Standards-Version: 3.9.5 ++Vcs-Git: git://anonscm.debian.org/debian-science/packages/gringo.git ++Vcs-Browser: http://anonscm.debian.org/cgit/debian-science/packages/gringo.git ++Homepage: http://potassco.sourceforge.net/ ++ ++Package: gringo ++Architecture: any ++Depends: ${shlibs:Depends}, ${misc:Depends} ++Recommends: clasp ++Replaces: clingo, iclingo ++Conflicts: clingo, iclingo ++Breaks: aspcud (<= 2012.10.24-6) ++Description: grounding tools for (disjunctive) logic programs ++ Current answer set solvers work on variable-free programs. Hence, a ++ grounder is needed that, given an input program with first-order ++ variables, computes an equivalent ground (variable-free) program. ++ . ++ This package contains the following tools: ++ . ++ - gringo: creates lparse-compatible variable-free programs. ++ - clingo: stands for clasp on gringo and combines both systems in ++ a monolithic way. Its input language is that of gringo and its ++ output corresponds to that of clasp. ++ - iclingo: an incremental answer set programming system, which is ++ based on the idea that the grounder as well as the solver are ++ implemented in a stateful way. Thus, both keep their previous states ++ while increasing an incremental parameter. As regards grounding, at ++ each incremental step, the goal is to produce only ground rules ++ stemming from the current program slice, without re-producing ++ previous ground rules. The ground program slices are then gradually ++ passed to the solver that accumulates ground rules and computes ++ answer sets for them. ++ - oclingo: a system for reactive answer set programming, extending ++ gringo and clasp for handling external modules provided at runtime ++ by a controller. diff --cc debian/copyright index 0000000,0000000..3a38f3b new file mode 100644 --- /dev/null +++ b/debian/copyright @@@ -1,0 -1,0 +1,244 @@@ ++Format: http://anonscm.debian.org/viewvc/dep/web/deps/dep5.mdwn?revision=174 ++Upstream-Name: gringo ++Upstream-Contact: Roland Kaminski ++Source: http://sourceforge.net/projects/potassco/files/gringo/ ++ ++ ++Files: * ++Copyright: 2008-2010, Roland Kaminski ++License: GPL-3+ ++ ++ ++Files: app/clingo/clasp/* ++Copyright: 2006-2007, 2009 Benjamin Kaufmann ++License: GPL-2+ ++ ++ ++Files: app/clingo/timer.* ++Copyright: 2006-2007, Benjamin Kaufmann ++License: GPL-2+ ++ ++ ++Files: app/clingo/clingo_options.h ++Copyright: 2009, Benjamin Kaufmann ++ 2010, Roland Kaminski ++License: GPL-3+ ++ ++ ++Files: app/clingo/clingo_app.h ++Copyright: 2009, Benjamin Kaufmann ++ 2010, Roland Kaminski ++License: GPL-3+ ++ ++ ++Files: app/gringo/gringo_app.* app/gringo/gringo_options.* ++Copyright: 2010, Arne König ++ 2010, Roland Kaminski ++License: GPL-3+ ++ ++ ++Files: app/gringo/main_app.* ++Copyright: 2009, Benjamin Kaufmann ++ 2010, Roland Kaminski ++License: GPL-3+ ++ ++ ++Files: cmake/macros.cmake ++Copyright: 2006, Alexander Neundorf ++License: BSD-3-clause ++ Redistribution and use in source and binary forms, with or without ++ modification, are permitted provided that the following conditions ++ are met: ++ . ++ 1. Redistributions of source code must retain the copyright ++ notice, this list of conditions and the following disclaimer. ++ 2. Redistributions in binary form must reproduce the copyright ++ notice, this list of conditions and the following disclaimer in the ++ documentation and/or other materials provided with the distribution. ++ 3. The name of the author may not be used to endorse or promote products ++ derived from this software without specific prior written permission. ++ . ++ THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR ++ IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES ++ OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. ++ IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, ++ INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT ++ NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, ++ DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY ++ THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT ++ (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF ++ THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. ++ ++ ++Files: cmake/FindLUA51.cmake ++Copyright: 2007-2009, Kitware, Inc. ++License: BSD-like License with advertising clause ++ Redistribution and use in source and binary forms, with or without ++ modification, are permitted provided that the following conditions ++ are met: ++ . ++ * Redistributions of source code must retain the above copyright ++ notice, this list of conditions and the following disclaimer. ++ . ++ * Redistributions in binary form must reproduce the above copyright ++ notice, this list of conditions and the following disclaimer in the ++ documentation and/or other materials provided with the distribution. ++ . ++ * Neither the names of Kitware, Inc., the Insight Software Consortium, ++ nor the names of their contributors may be used to endorse or promote ++ products derived from this software without specific prior written ++ permission. ++ . ++ THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS ++ "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT ++ LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR ++ A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT ++ HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, ++ SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT ++ LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, ++ DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY ++ THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT ++ (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE ++ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. ++ . ++ ------------------------------------------------------------------------------ ++ . ++ The above copyright and license notice applies to distributions of ++ CMake in source and binary form. Some source files contain additional ++ notices of original copyright by their contributors; see each source ++ for details. Third-party software packages supplied with CMake under ++ compatible licenses provide their own copyright notices documented in ++ corresponding subdirectories. ++ . ++ ------------------------------------------------------------------------------ ++ . ++ CMake was initially developed by Kitware with the following sponsorship: ++ . ++ * National Library of Medicine at the National Institutes of Health ++ as part of the Insight Segmentation and Registration Toolkit (ITK). ++ . ++ * US National Labs (Los Alamos, Livermore, Sandia) ASC Parallel ++ Visualization Initiative. ++ . ++ * National Alliance for Medical Image Computing (NAMIC) is funded by the ++ National Institutes of Health through the NIH Roadmap for Medical Research, ++ Grant U54 EB005149. ++ . ++ * Kitware, Inc. ++ . ++ This software is distributed WITHOUT ANY WARRANTY; without even the ++ implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. ++ See the License for more information. ++ ++ ++Files: debian/* ++Copyright: 2010-2013, Thomas Krennwallner ++License: GPL-3+ ++ This package was debianized by Thomas Krennwallner ++ on Thu, 04 Mar 2010 19:47:14 +0100 ++ . ++ On Debian systems, the complete text of the GNU General ++ Public License version 3 can be found in `/usr/share/common-licenses/GPL-3'. ++ ++ ++Files: libclasp/* ++Copyright: 2006-2010, Benjamin Kaufmann ++License: GPL-2+ ++ ++ ++Files: libclasp/clasp/satelite.h ++Copyright: 2003-2006, Niklas Een ++ 2003-2006, Niklas Sorensson ++ 2006-2007, Benjamin Kaufmann ++License: MIT ++ ++ ++Files: liblua/* ++Copyright: 1994-2008, Lua.org, PUC-Rio ++License: MIT ++ ++ ++Files: libluasql/* ++Copyright: 2003-2007, The Kepler Project ++License: MIT ++ ++ ++Files: libgringo/gringo/stats.h libgringo/src/stats.cpp ++Copyright: 2010, Arne König ++License: GPL-3+ ++ ++ ++Files: libprogram_opts/* ++Copyright: 2004, 2006-2007, Benjamin Kaufmann ++License: GPL-2+ ++ ++ ++Files: libprogram_opts/program_opts/detail/smartpointer.h ++Copyright: 2004, Jean Gressmann ++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'. ++ ++ ++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 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'. ++ ++ ++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. diff --cc debian/docs index 0000000,0000000..7475e4b new file mode 100644 --- /dev/null +++ b/debian/docs @@@ -1,0 -1,0 +1,3 @@@ ++README ++NOTES ++examples diff --cc debian/gringo.links index 0000000,0000000..1f295db new file mode 100644 --- /dev/null +++ b/debian/gringo.links @@@ -1,0 -1,0 +1,4 @@@ ++usr/bin/clingo usr/bin/iclingo ++usr/bin/clingo usr/bin/oclingo ++usr/share/man/man1/clingo.1 usr/share/man/man1/iclingo.1 ++usr/share/man/man1/clingo.1 usr/share/man/man1/oclingo.1 diff --cc debian/gringo.manpages index 0000000,0000000..98267dd new file mode 100644 --- /dev/null +++ b/debian/gringo.manpages @@@ -1,0 -1,0 +1,2 @@@ ++gringo.1 ++clingo.1 diff --cc debian/install index 0000000,0000000..bf3abd7 new file mode 100644 --- /dev/null +++ b/debian/install @@@ -1,0 -1,0 +1,2 @@@ ++build/release/gringo usr/bin/ ++build/release/clingo usr/bin/ diff --cc debian/patches/gringo-manpages.patch index 0000000,0000000..b434674 new file mode 100644 --- /dev/null +++ b/debian/patches/gringo-manpages.patch @@@ -1,0 -1,0 +1,189 @@@ ++Author: Thomas Krennwallner ++Description: Add gringo.1, clingo.1, and iclingo.1 manpages. ++Index: gringo-2.0.5-source/clingo.1 ++=================================================================== ++--- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++++ gringo-2.0.5-source/clingo.1 2010-05-28 05:44:58.000000000 +0200 ++@@ -0,0 +1,55 @@ +++.\" 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 CLINGO 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 +++clingo \- a combination of clasp and gringo +++.SH SYNOPSIS +++.B clingo +++.RI [options] [files] +++.SH DESCRIPTION +++This manual page documents briefly the +++.B clingo +++command. +++.PP +++.\" TeX users may be more comfortable with the \fB\fP and +++.\" \fI\fP escape sequences to invode bold face and italics, +++.\" respectively. +++\fBclingo\fP stands for clasp on gringo and combines both systems in a +++monolithic way. Its input language is that of gringo and its output +++corresponds to that of clasp. +++.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 the potassco-guide. +++.TP +++.B \-h, \-\-help +++Show summary of options. +++.TP +++.B \-v, \-\-version +++Show version of program. +++.SH SEE ALSO +++.BR clasp (1), +++.BR claspD (1), +++.BR gringo (1), +++.BR iclingo (1). +++.br +++.SH AUTHOR +++clingo was written by Roland Kaminski +++.PP +++This manual page was written by Thomas Krennwallner , +++for the Debian project (and may be used by others). ++Index: gringo-2.0.5-source/gringo.1 ++=================================================================== ++--- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++++ gringo-2.0.5-source/gringo.1 2010-05-28 05:44:58.000000000 +0200 ++@@ -0,0 +1,56 @@ +++.\" 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 GRINGO 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 +++gringo \- a grounder for non-ground logic programs +++.SH SYNOPSIS +++.B gringo +++.RI [options] [files] +++.SH DESCRIPTION +++This manual page documents briefly the +++.B gringo +++command. +++.PP +++.\" TeX users may be more comfortable with the \fB\fP and +++.\" \fI\fP escape sequences to invode bold face and italics, +++.\" respectively. +++\fBgringo\fP is a grounder for non-ground answer set programs. Current +++answer set solvers work on variable-free programs. Hence, a grounder +++is needed that, given an input program with first-order variables, +++computes an equivalent ground (variable-free) program. +++.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 the potassco-guide. +++.TP +++.B \-h, \-\-help +++Show summary of options. +++.TP +++.B \-v, \-\-version +++Show version of program. +++.SH SEE ALSO +++.BR clasp (1), +++.BR claspD (1), +++.BR clingo (1), +++.BR iclingo (1). +++.br +++.SH AUTHOR +++gringo was written by Roland Kaminski +++.PP +++This manual page was written by Thomas Krennwallner , +++for the Debian project (and may be used by others). ++Index: gringo-2.0.5-source/iclingo.1 ++=================================================================== ++--- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++++ gringo-2.0.5-source/iclingo.1 2010-05-28 05:44:58.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 ICLINGO 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 +++iclingo \- an incremental ASP system +++.SH SYNOPSIS +++.B iclingo +++.RI [options] [files] +++.SH DESCRIPTION +++This manual page documents briefly the +++.B iclingo +++command. +++.PP +++.\" TeX users may be more comfortable with the \fB\fP and +++.\" \fI\fP escape sequences to invode bold face and italics, +++.\" respectively. +++\fBiclingo\fP is an incremental ASP system implemented on top of +++clingo. It is based on the idea that the grounder as well as the +++solver are implemented in a stateful way. Thus, both keep their +++previous states while increasing an incremental parameter. As regards +++grounding, at each incremental step, the goal is to produce only +++ground rules stemming from the current program slice, without +++re-producing previous ground rules. The ground program slices are then +++gradually passed to the solver that accumulates ground rules and +++computes answer sets for them. +++.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 the potassco-guide. +++.TP +++.B \-h, \-\-help +++Show summary of options. +++.TP +++.B \-v, \-\-version +++Show version of program. +++.SH SEE ALSO +++.BR clasp (1), +++.BR claspD (1), +++.BR clingo (1), +++.BR gringo (1). +++.br +++.SH AUTHOR +++iclingo was written by Roland Kaminski +++.PP +++This manual page was written by Thomas Krennwallner , +++for the Debian project (and may be used by others). diff --cc debian/patches/series index 0000000,0000000..95843bd new file mode 100644 --- /dev/null +++ b/debian/patches/series @@@ -1,0 -1,0 +1,1 @@@ ++gringo-manpages.patch diff --cc debian/rules index 0000000,0000000..74f13c2 new file mode 100755 --- /dev/null +++ b/debian/rules @@@ -1,0 -1,0 +1,55 @@@ ++#!/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 "(amd64|ia64|ppc64)") ++os = $(shell dpkg-architecture -qDEB_BUILD_ARCH_OS | grep linux) ++ ++# force g++, lua5.2, and python2.7 ++CONFIGPARMS = CXX='g++' WITH_LUA='lua5.2' WITH_PYTHON='python2.7' CPPPATH='$${["/usr/include/lua5.2","/usr/include/python2.7"]}' ++ifeq ($(and $(if $(os),good), $(if $(arch),good)), good) ++ CONFIGPARMS += WITH_TBB="tbb" ++endif ++ ++# ++# export CPPFLAGS, CXXFLAGS, and LDFLAGS for scons ++# ++# default to -O3 -std=c++11 -Wall -DNDEBUG and enable all hardening flags ++# ++DEB_CXXFLAGS_MAINT_APPEND = -std=c++11 -O3 -Wall ++DEB_CPPFLAGS_MAINT_APPEND = -DNDEBUG ++export DEB_BUILD_MAINT_OPTIONS = hardening=+all ++ ++DPKG_EXPORT_BUILDFLAGS = 1 ++include /usr/share/dpkg/buildflags.mk ++ ++# inject compiler and linker flags to scons variables ++SCCXXFLAGS = $(shell echo $(CXXFLAGS) $(CPPFLAGS) | sed -e 's/^/\$${["/;s/ -/","-/g;s/$$/"]}/') ++SCLINKFLAGS = $(shell echo $(LDFLAGS) | sed -e 's/^/\$${["/;s/ -/","-/g;s/$$/"]}/') ++ ++%: ++ dh $@ ++ ++# configure with LUA, Python, and possibly TBB ++override_dh_auto_configure: ++ scons configure --build-dir=release $(CONFIGPARMS) CXXFLAGS='$(SCCXXFLAGS)' LINKFLAGS='$(SCLINKFLAGS)' ++ ++# build gringo and clingo ++override_dh_auto_build: ++ scons --build-dir=release gringo clingo ++ ++override_dh_auto_clean: ++ rm -rf ./build .sconf_temp .sconsign.dblite ++ ++override_dh_installchangelogs: ++ dh_installchangelogs CHANGES diff --cc debian/source/format index 0000000,0000000..163aaf8 new file mode 100644 --- /dev/null +++ b/debian/source/format @@@ -1,0 -1,0 +1,1 @@@ ++3.0 (quilt) diff --cc debian/watch index 0000000,0000000..0380eef new file mode 100644 --- /dev/null +++ b/debian/watch @@@ -1,0 -1,0 +1,9 @@@ ++# 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/gringo-([\d\.]+)-source\.tar\.gz