debian/0000755000000000000000000000000011631420175007166 5ustar debian/compat0000644000000000000000000000000211600424156010363 0ustar 7 debian/source/0000755000000000000000000000000011600424156010465 5ustar debian/source/format0000644000000000000000000000001411600424156011673 0ustar 3.0 (quilt) debian/changelog0000644000000000000000000000334211631104100011025 0ustar coala (1.0.1-5) unstable; urgency=low * control: Setup as Debian Science project. - Set Maintainer to Debian Science Maintainers and Uploaders to Thomas Krennwallner. - Set DM-Upload-Allowed to yes. - Convert bzr repository to git and use Vcs-Git and Vcs-Browser. accourdingly. - Build-Depends on debhelper >= 8.0.0. * watch: Check SF downloads. * patches/coala-makefile.patch,patches/series: Remove coala-makefile.patch. * install: Install coala and coala.bin. * rules: Override configure, build, and clean. -- Thomas Krennwallner Mon, 05 Sep 2011 07:53:29 +0200 coala (1.0.1-4~natty1) natty; urgency=low * watch: Fix lintian debian-watch-contains-dh_make-template. * control: Lower Priority to extra and bump Standards-Version to 3.9.2. * copyright: Use DEP5 format and add missing copyright statements. -- Thomas Krennwallner Fri, 29 Apr 2011 07:05:44 +0200 coala (1.0.1-3) unstable; urgency=low * Initial upload (Closes: #605881) -- Thomas Krennwallner Sun, 05 Dec 2010 18:02:12 +0100 coala (1.0.1-2) unstable; urgency=low * Upload to mentors.debian.net. -- Thomas Krennwallner Sat, 20 Nov 2010 09:59:02 +0100 coala (1.0.1-1~maverick1) maverick; urgency=low * New upstream release. -- Thomas Krennwallner Fri, 12 Nov 2010 06:40:26 +0100 coala (1.0.0-2~maverick1) maverick; urgency=low * Tag distro-series. * Bump Standards-Version. -- Thomas Krennwallner Sun, 10 Oct 2010 15:15:37 +0200 coala (1.0.0-1) lucid; urgency=low * Initial release -- Thomas Krennwallner Fri, 08 Oct 2010 07:02:17 +0200 debian/copyright0000644000000000000000000000455411631104472011130 0ustar Format-Specification: http://dep.debian.net/deps/dep5/ Upstream-Name: coala Upstream-Contact: Torsten Grote Source: http://www.cs.uni-potsdam.de/wv/coala/ Files: * Copyright: 2007-2010, Torsten Grote License: GPL-3+ Files: debian/* Copyright: 2010-2011, Thomas Krennwallner License: GPL-3+ This package was debianized by Thomas Krennwallner on Thu, 01 Jul 2010 07:29:09 +0200 . 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: src/app/program_opts/* Copyright: 2004, 2006-2007, Benjamin Kaufmann License: GPL-2+ Files: src/app/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'. debian/install0000644000000000000000000000005211626623177010567 0ustar bin/coala.bin usr/bin/ bin/coala usr/bin/ debian/coala.manpages0000644000000000000000000000002411600424156011755 0ustar coala.1 coala.bin.1 debian/docs0000644000000000000000000000002111600424156010031 0ustar README examples/ debian/watch0000644000000000000000000000047411626623012010223 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/coala-([\d\.]+)_src\.tar\.gz debian/patches/0000755000000000000000000000000011631060751010615 5ustar debian/patches/coala-manpages.patch0000644000000000000000000001164311600424156014512 0ustar Author: Thomas Krennwallner Description: Add manpages for coala and coala.bin. Index: coala-1.0.1_src/coala.1 =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++ coala-1.0.1_src/coala.1 2010-12-06 19:33:02.656645001 +0100 @@ -0,0 +1,59 @@ +.\" 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 COALA 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 +coala \- a versatile compiler from action languages to answer set programs +.SH SYNOPSIS +.B coala +.RI [options] file [number] +.SH DESCRIPTION +This manual page documents briefly the +.B coala +command. +.PP +.\" TeX users may be more comfortable with the \fB\fP and +.\" \fI\fP escape sequences to invode bold face and italics, +.\" respectively. +\fBcoala\fP is a versatile compiler from action languages to answer +set programs. It supports different encodings, variables and LTL style +queries. It translates an action language into a logic program under +the answer set semantics. After being grounded by \fBlparse\fP or +\fBgringo\fP, the logic program can be solved by an answer set solver +such as \fBclasp\fP. At the moment \fBcoala\fP is able to translate +the action language AL, B, C, a subset of C+ and the action language +CTAID. The type of input language can be specified with a command line +option. +.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 \-\-version +Show version of program. +.SH SEE ALSO +.BR clasp (1), +.BR gringo (1). +.br +.SH AUTHOR +coala was written by Torsten Grote +.PP +This manual page was written by Thomas Krennwallner , +for the Debian project (and may be used by others). Index: coala-1.0.1_src/coala.bin.1 =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++ coala-1.0.1_src/coala.bin.1 2010-12-06 19:34:27.206644897 +0100 @@ -0,0 +1,57 @@ +.\" 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 COALA.BIN 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 +coala.bin \- a versatile compiler from action languages to answer set programs +.SH SYNOPSIS +.B coala.bin +.RI [options] file +.SH DESCRIPTION +This manual page documents briefly the +.B coala.bin +command. +.PP +.\" TeX users may be more comfortable with the \fB\fP and +.\" \fI\fP escape sequences to invode bold face and italics, +.\" respectively. +\fBcoala.bin\fP is a versatile compiler from action languages to answer +set programs. It supports different encodings, variables and LTL style +queries. It translates an action language into a logic program under +the answer set semantics. After being grounded by \fBlparse\fP or +\fBgringo\fP, the logic program can be solved by an answer set solver +such as \fBclasp\fP. At the moment \fBcoala.bin\fP is able to translate +the action language AL, B, C, a subset of C+ and the action language +CTAID. The type of input language can be specified with a command line +option. +.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. +.SH SEE ALSO +.BR coala (1), +.BR clasp (1), +.BR gringo (1). +.br +.SH AUTHOR +coala.bin was written by Torsten Grote +.PP +This manual page was written by Thomas Krennwallner , +for the Debian project (and may be used by others). debian/patches/series0000644000000000000000000000002511631060742012027 0ustar coala-manpages.patch debian/control0000644000000000000000000000207111626622450010575 0ustar Source: coala Section: interpreters Priority: extra Maintainer: Debian Science Maintainers Uploaders: Thomas Krennwallner DM-Upload-Allowed: yes Build-Depends: debhelper (>= 8.0.0), cmake, bison++, flex Standards-Version: 3.9.2 Vcs-Git: git://git.debian.org/git/debian-science/packages/coala.git Vcs-Browser: http://git.debian.org/?p=debian-science/packages/coala.git Homepage: http://www.cs.uni-potsdam.de/wv/coala/ Package: coala Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends}, python Recommends: gringo, clasp Description: translates action languages into answer set programs The coala tool translates an action language into a logic program under the answer set semantics. After being grounded by lparse or gringo, the logic program can be solved by an answer set solver such as clasp. At the moment coala is able to translate the action language AL, B, C, a subset of C+ and the action language CTAID. The type of input language can be specified with a command line option. debian/rules0000755000000000000000000000133111631060503010237 0ustar #!/usr/bin/make -f # -*- makefile -*- # Sample debian/rules that uses debhelper. # This file was originally written by Joey Hess and Craig Small. # As a special exception, when this file is copied by dh-make into a # dh-make output file, you may use that output file without restriction. # This special exception was added by Craig Small in version 0.37 of dh-make. # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 %: dh $@ override_dh_auto_configure: cd build && ./configure --prefix=/usr override_dh_auto_build: $(MAKE) -C build override_dh_auto_clean: rm -rf bin/coala.bin find build -mindepth 1 -type f | grep -v configure | xargs rm -fv find build -mindepth 1 -maxdepth 1 -type d -exec rm -rf {} \;