From b2c25b42b44d0fd86dd26a15d4299c9e31608001 Mon Sep 17 00:00:00 2001 From: Thomas Krennwallner Date: Mon, 18 Aug 2014 16:10:34 +0100 Subject: [PATCH 1/1] Import gringo_4.4.0-1.debian.tar.xz [dgit import tarball gringo 4.4.0-1 gringo_4.4.0-1.debian.tar.xz] --- changelog | 265 ++++++++++++++++++++++++++++++++++ compat | 1 + control | 48 ++++++ copyright | 244 +++++++++++++++++++++++++++++++ docs | 3 + gringo.links | 4 + gringo.manpages | 2 + install | 2 + patches/gringo-manpages.patch | 189 ++++++++++++++++++++++++ patches/series | 1 + rules | 55 +++++++ source/format | 1 + watch | 9 ++ 13 files changed, 824 insertions(+) create mode 100644 changelog create mode 100644 compat create mode 100644 control create mode 100644 copyright create mode 100644 docs create mode 100644 gringo.links create mode 100644 gringo.manpages create mode 100644 install create mode 100644 patches/gringo-manpages.patch create mode 100644 patches/series create mode 100755 rules create mode 100644 source/format create mode 100644 watch diff --git a/changelog b/changelog new file mode 100644 index 0000000..2c0d3cf --- /dev/null +++ b/changelog @@ -0,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 --git a/compat b/compat new file mode 100644 index 0000000..ec63514 --- /dev/null +++ b/compat @@ -0,0 +1 @@ +9 diff --git a/control b/control new file mode 100644 index 0000000..1e5cadd --- /dev/null +++ b/control @@ -0,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 --git a/copyright b/copyright new file mode 100644 index 0000000..3a38f3b --- /dev/null +++ b/copyright @@ -0,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 --git a/docs b/docs new file mode 100644 index 0000000..7475e4b --- /dev/null +++ b/docs @@ -0,0 +1,3 @@ +README +NOTES +examples diff --git a/gringo.links b/gringo.links new file mode 100644 index 0000000..1f295db --- /dev/null +++ b/gringo.links @@ -0,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 --git a/gringo.manpages b/gringo.manpages new file mode 100644 index 0000000..98267dd --- /dev/null +++ b/gringo.manpages @@ -0,0 +1,2 @@ +gringo.1 +clingo.1 diff --git a/install b/install new file mode 100644 index 0000000..bf3abd7 --- /dev/null +++ b/install @@ -0,0 +1,2 @@ +build/release/gringo usr/bin/ +build/release/clingo usr/bin/ diff --git a/patches/gringo-manpages.patch b/patches/gringo-manpages.patch new file mode 100644 index 0000000..b434674 --- /dev/null +++ b/patches/gringo-manpages.patch @@ -0,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 --git a/patches/series b/patches/series new file mode 100644 index 0000000..95843bd --- /dev/null +++ b/patches/series @@ -0,0 +1 @@ +gringo-manpages.patch diff --git a/rules b/rules new file mode 100755 index 0000000..74f13c2 --- /dev/null +++ b/rules @@ -0,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 --git a/source/format b/source/format new file mode 100644 index 0000000..163aaf8 --- /dev/null +++ b/source/format @@ -0,0 +1 @@ +3.0 (quilt) diff --git a/watch b/watch new file mode 100644 index 0000000..0380eef --- /dev/null +++ b/watch @@ -0,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 -- 2.30.2