debian/0000755000000000000000000000000012264557133007176 5ustar debian/rules0000755000000000000000000000344512253765520010263 0ustar #!/usr/bin/make -f # -*- makefile -*- # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 # compile with libtbb-dev only with linux 64bit intel/ppc architectures, # fallback in pentium4 processors is not implemented, see also note of # libtbb-dev: # # Note: if you are a user of the i386 architecture, i.e., 32-bit Intel # or compatible hardware, this package only supports Pentium4-compatible # and higher processors. # arch = $(shell dpkg-architecture -qDEB_BUILD_ARCH | egrep "(amd64|ia64|ppc64)") os = $(shell dpkg-architecture -qDEB_BUILD_ARCH_OS | grep linux) # force g++-4.8, lua5.1, and python2.7 CONFIGPARMS = CXX='g++-4.8' WITH_LUA='lua5.1' WITH_PYTHON='python2.7' CPPPATH='$${["/usr/include/lua5.1","/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 debian/install0000644000000000000000000000007412253070552010561 0ustar build/release/gringo usr/bin/ build/release/clingo usr/bin/ debian/watch0000644000000000000000000000050012252564067010223 0ustar # watch control file for uscan # Compulsory line, this is a version 3 file version=3 # qa.debian.org runs a redirector which allows a simpler form of URL # for SourceForge based projects. The format below will automatically # be rewritten to use the redirector. http://sf.net/potassco/gringo-([\d\.]+)-source\.tar\.gz debian/gringo.links0000644000000000000000000000026012253540107011512 0ustar 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 debian/patches/0000755000000000000000000000000012146722440010617 5ustar debian/patches/series0000644000000000000000000000002612146721174012035 0ustar gringo-manpages.patch debian/patches/gringo-manpages.patch0000644000000000000000000001531312146722440014721 0ustar 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). debian/control0000644000000000000000000000403512264556556010613 0ustar Source: gringo Section: interpreters Priority: extra Maintainer: Debian Science Maintainers Uploaders: Thomas Krennwallner Build-Depends: debhelper (>= 9), g++-4.8 (>= 4.8.0), scons, re2c, bison, libtbb-dev (>= 4.0+r233) [amd64 ia64 ppc64 ppc64el], liblua5.1-dev, libpython2.7-dev Standards-Version: 3.9.5 Vcs-Git: git://git.debian.org/git/debian-science/packages/gringo.git Vcs-Browser: http://git.debian.org/?p=debian-science/packages/gringo.git Homepage: http://potassco.sourceforge.net/ Package: gringo Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Recommends: clasp Suggests: potassco-guide 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. debian/gringo.manpages0000644000000000000000000000002212253541101012154 0ustar gringo.1 clingo.1 debian/changelog0000644000000000000000000002003512264556603011051 0ustar 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 debian/docs0000644000000000000000000000002612253616415010044 0ustar README NOTES examples debian/copyright0000644000000000000000000002142412146720301011120 0ustar 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. debian/compat0000644000000000000000000000000212055356445010375 0ustar 9 debian/source/0000755000000000000000000000000011600424146010464 5ustar debian/source/format0000644000000000000000000000001411600424146011672 0ustar 3.0 (quilt)