* 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]
--- /dev/null
--- /dev/null
++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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> Thu, 12 Jun 2014 09:16:31 +0200
++
++gringo (4.3.0-1) unstable; urgency=low
++
++ * New upstream release.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> Tue, 10 Apr 2012 16:48:52 +0200
++
++gringo (3.0.4-1ubuntu1~oneiric1) oneiric; urgency=low
++
++ * Upload to ppa:~tkren/asp.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Fri, 27 Jan 2012 08:08:04 +0100
++
++gringo (3.0.4-1) unstable; urgency=low
++
++ * New upstream release.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> 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 <struct Domain>", 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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> Tue, 22 Feb 2011 09:38:26 +0100
++
++gringo (3.0.3-3) unstable; urgency=low
++
++ * Initial upload (Closes: #605879)
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sun, 05 Dec 2010 18:01:28 +0100
++
++gringo (3.0.3-2) unstable; urgency=low
++
++ * Upload to mentors.debian.net.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> Sun, 10 Oct 2010 08:50:01 +0200
++
++gringo (3.0.2-1) lucid; urgency=low
++
++ * New upstream release.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> Wed, 28 Jul 2010 06:15:10 +0200
++
++gringo (3.0.1-1) lucid; urgency=low
++
++ * New upstream release.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> 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 <tkren@kr.tuwien.ac.at> Fri, 28 May 2010 07:04:46 +0200
++
++gringo (2.0.5-2) lucid; urgency=low
++
++ * Moved to Ubuntu PPA.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Wed, 26 May 2010 00:33:32 +0200
++
++gringo (2.0.5-1) unstable; urgency=low
++
++ * Initial release.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Thu, 04 Mar 2010 19:47:14 +0100
--- /dev/null
--- /dev/null
++9
--- /dev/null
--- /dev/null
++Source: gringo
++Section: interpreters
++Priority: extra
++Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
++Uploaders: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
++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.
--- /dev/null
--- /dev/null
++Format: http://anonscm.debian.org/viewvc/dep/web/deps/dep5.mdwn?revision=174
++Upstream-Name: gringo
++Upstream-Contact: Roland Kaminski <kaminski@cs.uni-potsdam.de>
++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 <tkren@kr.tuwien.ac.at>
++ 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
++ <http://www.gnu.org/licenses/>.
++ .
++ 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.
--- /dev/null
--- /dev/null
++README
++NOTES
++examples
--- /dev/null
--- /dev/null
++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
--- /dev/null
--- /dev/null
++gringo.1
++clingo.1
--- /dev/null
--- /dev/null
++build/release/gringo usr/bin/
++build/release/clingo usr/bin/
--- /dev/null
--- /dev/null
++Author: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
++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 <n> 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<whatever>\fP and
+++.\" \fI<whatever>\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 <kaminski@cs.uni-potsdam.de>
+++.PP
+++This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>,
+++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 <n> 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<whatever>\fP and
+++.\" \fI<whatever>\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 <kaminski@cs.uni-potsdam.de>
+++.PP
+++This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>,
+++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 <n> 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<whatever>\fP and
+++.\" \fI<whatever>\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 <kaminski@cs.uni-potsdam.de>
+++.PP
+++This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>,
+++for the Debian project (and may be used by others).
--- /dev/null
--- /dev/null
++gringo-manpages.patch
--- /dev/null
--- /dev/null
++#!/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
--- /dev/null
--- /dev/null
++3.0 (quilt)
--- /dev/null
--- /dev/null
++# 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
projects / gringo.git / commitdiff