Bug#605877: ITP: clasp -- A conflict-driven nogood learning answer set solver
Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: clasp Version : 1.3.6 Upstream Author : Benjamin Kaufmann * URL : http://www.cs.uni-potsdam.de/clasp/ * License : GPL Programming Lang: C++ Description : A conflict-driven nogood learning answer set solver clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does not rely on legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning. clasp can be applied as an ASP solver (on SMODELS format, as output by Gringo), as a SAT solver (on a simplified version of DIMACS/CNF format), or as a PB solver (on OPB format). -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20101204103103.15124.48401.report...@gluck.kr.tuwien.ac.at
Bug#605879: ITP: gringo -- An lparse-compatible grounder for (disjunctive) logic programs
Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: gringo Version : 3.0.3 Upstream Author : Potassco team * URL : http://www.cs.uni-potsdam.de/gringo/ * License : GPL Programming Lang: C++ Description : An lparse-compatible grounder 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. Gringo is such a grounder. Its output can be processed further with clasp, claspD, claspar, or claspfolio. -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20101204105916.15165.7213.report...@gluck.kr.tuwien.ac.at
Re: List of FTBFS in Ubuntu
On 2010-12-03 16:36:10 -0800, Russ Allbery wrote:
> Stefano Rivera writes:
> > gcc argument order:
> > g++ -o conftest -pthread -g -O2 -Wall -O2 -DNDEBUG -pthread -g -O2 -g -Wall
> > -O2 -O2 -DNDEBUG-L/usr/lib -llog4cpp -lnsl -Wl,-Bsymbolic-functions
> > conftest.cpp -lz >&5
>
> > This will work:
> > g++ -o conftest -pthread -g -O2 -Wall -O2 -DNDEBUG -pthread -g -O2 -g -Wall
> > -O2 -O2 -DNDEBUG conftest.cpp -L/usr/lib -llog4cpp -lnsl
> > -Wl,-Bsymbolic-functions -lz
>
> > Looks like autoconf's fault.
>
> Hm, yeah, the code in the package is just:
>
> AC_TRY_LINK(
> [#include
> #include ],
> [log4cpp::Category::getInstance("foo").errorStream() <<
> log4cpp::eol],
> [AC_DEFINE(SHIBSP_LOG4CPP,1,[Define if log4cpp library is
> used.])],
> [AC_MSG_ERROR([unable to link with log4cpp, need version 1.0 or
> later])])
>
> so I don't see anything obvious that I can do to fix this in the package.
> Autoconf doesn't seem to like the way that Ubuntu is adding the additional
> linker flag.
The problem lies 3 lines above that snippet:
LDFLAGS="`${LOG4CPP_CONFIG} --libs` $LDFLAGS"
using LIBS instead of LDFLAGS fixes the order as configure uses LIBS
after the source file during linking.
When one looks at the remaining configure.ac it adds other libs (-l) to
LIBS and library directories (-L) to LDFLAGS.
But as "log4cpp-config --libs" outputs "-L/usr/lib -llog4cpp -lnsl" I'm
not sure if LDFLAGS or LIBS is the better place (but using LIBS makes
the package build again in Ubuntu).
Michael
Here is a patch for opensaml2 but a similar patch should also work for
shibboleth-sp2 and xmltooling:
--- opensaml2-2.3.orig/configure
+++ opensaml2-2.3/configure
@@ -22997,7 +22997,7 @@
fi;
if test -f "${LOG4SHIB_CONFIG}"; then
-LDFLAGS="`${LOG4SHIB_CONFIG} --libs` $LDFLAGS"
+LIBS="`${LOG4SHIB_CONFIG} --libs` $LIBS"
CPPFLAGS="`${LOG4SHIB_CONFIG} --cflags` $CPPFLAGS"
if test "${ac_cv_header_log4shib_CategoryStream_hh+set}" = set; then
@@ -23259,7 +23259,7 @@
if test -f "${LOG4CPP_CONFIG}"; then
{ echo "$as_me:$LINENO: WARNING: will try to use log4cpp, note
that most non-Internet2 supplied versions are not thread-safe" >&5
echo "$as_me: WARNING: will try to use log4cpp, note that most non-Internet2
supplied versions are not thread-safe" >&2;}
- LDFLAGS="`${LOG4CPP_CONFIG} --libs` $LDFLAGS"
+ LIBS="`${LOG4CPP_CONFIG} --libs` $LIBS"
CPPFLAGS="`${LOG4CPP_CONFIG} --cflags` $CPPFLAGS"
if test "${ac_cv_header_log4cpp_CategoryStream_hh+set}" = set;
then
echo "$as_me:$LINENO: checking for log4cpp/CategoryStream.hh" >&5
--- opensaml2-2.3.orig/configure.ac
+++ opensaml2-2.3/configure.ac
@@ -132,7 +132,7 @@
fi
])
if test -f "${LOG4SHIB_CONFIG}"; then
-LDFLAGS="`${LOG4SHIB_CONFIG} --libs` $LDFLAGS"
+LIBS="`${LOG4SHIB_CONFIG} --libs` $LIBS"
CPPFLAGS="`${LOG4SHIB_CONFIG} --cflags` $CPPFLAGS"
AC_CHECK_HEADER([log4shib/CategoryStream.hh],,AC_MSG_ERROR([unable to
find log4shib header files]))
AC_TRY_LINK(
@@ -157,7 +157,7 @@
])
if test -f "${LOG4CPP_CONFIG}"; then
AC_MSG_WARN([will try to use log4cpp, note that most
non-Internet2 supplied versions are not thread-safe])
- LDFLAGS="`${LOG4CPP_CONFIG} --libs` $LDFLAGS"
+ LIBS="`${LOG4CPP_CONFIG} --libs` $LIBS"
CPPFLAGS="`${LOG4CPP_CONFIG} --cflags` $CPPFLAGS"
AC_CHECK_HEADER([log4cpp/CategoryStream.hh],,AC_MSG_ERROR([unable to find
log4cpp header files]))
AC_TRY_LINK(
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20101204111913.ga5...@vorlon.ping.de
Bug#605881: ITP: coala -- translates action languages into answer set programs
Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: coala Version : 1.0.1 Upstream Author : Torsten Grote * URL : http://www.cs.uni-potsdam.de/~tgrote/coala/ * License : GPL Programming Lang: C++ 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. -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20101204110640.15298.56534.report...@gluck.kr.tuwien.ac.at
Re: List of FTBFS in Ubuntu
* Michael Bienia [101204 12:26]:
> The problem lies 3 lines above that snippet:
> LDFLAGS="`${LOG4CPP_CONFIG} --libs` $LDFLAGS"
>
> using LIBS instead of LDFLAGS fixes the order as configure uses LIBS
> after the source file during linking.
>
> When one looks at the remaining configure.ac it adds other libs (-l) to
> LIBS and library directories (-L) to LDFLAGS.
> But as "log4cpp-config --libs" outputs "-L/usr/lib -llog4cpp -lnsl" I'm
> not sure if LDFLAGS or LIBS is the better place (but using LIBS makes
> the package build again in Ubuntu).
-l is never ever to be included in LDFLAGS (even stricter than -I should
never ever go into CFLAGS or CXXFLAGS, the other common mistake often done
nowadays).
If you cannot split it, the whole thing should go into LIBS.
Bernhard R. Link
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:
http://lists.debian.org/20101204113141.ga24...@pcpool00.mathematik.uni-freiburg.de
Re: strange failures on lxdebian and asdfasdf.debian.net for cmor
Hi Alastair, I'm by no means a bsd expert and you actually might want to redirect your question to debian-...@l.d.o instead. > I've a strange issue: I've a perfectly ordinary package, cmor, which fails to > build on s390 and kfreebsd-amd64. In both cases it fails while trying to > build a test executable, ipcc_test_code, in the test target, but with > different errors in ld, segfault and abort. > > Now, outside the buildds (lxdebian and asdfasdf) the package builds fine on > s390 and kfreebsd-amd64 (it fails on kfreebsd-i386, also in building > ./ipcc_test_code, but that appears to be different. While I don't understand > the failure yet, it is at least reproducible). > [...] Could you maybe, as first measure, try to make the build (or the build of tests at least) way more verbose? Surely it's not ln -sf that aborts, but that is about all that can be found in the build logs. I guess it would be nice to see the full command line that is being executed such that precisely this step can be investigated in more detail. As the tests (once they run) seem to be very verbose, this should (a) help to nail down the error and (b) could possibly be some problem with the terminal!? (The latter is a wild guess as I have no idea what cmor really does.) Hope this helps, Michael pgpdaVi4TSt5G.pgp Description: PGP signature
Re: Bug#605892: please state that mails will be publically archived
Hi Holger, thanks for the bug report, but... On Sat, Dec 4, 2010 at 14:35, Holger Levsen wrote: > please state prominently that bug reports will be be archived publically. I know where this request is coming from but IMO this is kinda an over-reaction. Before considering where & how to add this alert, I really want to have a broader consensus from the developers community (hence adding d-devel in the loop). Regards, -- Sandro Tosi (aka morph, morpheus, matrixhasu) My website: http://matrixhasu.altervista.org/ Me at Debian: http://wiki.debian.org/SandroTosi -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/aanlktimb7-kh-jgf7dyvctwj5na7bcvqssc9by-et...@mail.gmail.com
Re: Bug#605892: please state that mails will be publically archived
Hi Sandro, On Samstag, 4. Dezember 2010, Sandro Tosi wrote: > > please state prominently that bug reports will be be archived publically. > I know where this request is coming from but IMO this is kinda an > over-reaction. Before considering where & how to add this alert I wouldnt call/make it an "alert", just a more or less prominent note somewhere. Maybe my initial wording was too harsh. > I > really want to have a broader consensus from the developers community always a good idea :) cheers, Holger signature.asc Description: This is a digitally signed message part.
Bug#605902: ITP: gluegen2 -- Tool to automatically generate the Java and JNI code.
Package: wnpp Severity: wishlist Owner: Sylvestre Ledru * Package name: gluegen2 Version : 2.0-rc1 Upstream Author : Sun, Sven Gothel, Kenneth Russel, Michael Bien & others * URL : http://jogamp.org/ * License : BSD Programming Lang: Java Description : Tool to automatically generate the Java and JNI code. Gluegen reads as input ANSI C header files and separate configuration files which provide control over many aspects of the glue code generation. GlueGen uses a complete ANSI C parser and an internal representation (IR) capable of representing all C types to represent the APIs for which it generates interfaces. It has the ability to perform significant transformations on the IR before glue code emission. GlueGen is currently powerful enough to bind even low-level APIs such as the Java Native Interface (JNI) and the AWT Native Interface (JAWT) back up to the Java programming language. -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20101204153625.28478.28811.report...@losinj.inria.fr
Bug#605905: ITP: frog -- tagger and parser for Dutch language
Package: wnpp Severity: wishlist Owner: Joost van Baal * Package name: frog Version : 0.1 Upstream Author : ILK Research Group, Tilburg University, http://ilk.uvt.nl * URL : http://ilk.uvt.nl/tadpole * License : GPL-3 Programming Lang: C++, Python Description : tagger and parser for Dutch language Memory-Based Learning (MBL) is a machine-learning method applicable to a wide range of tasks in Natural Language Processing (NLP). . Frog is a modular system integrating a morphosyntactic tagger, lemmatizer, morphological analyzer, and dependency parser for the Dutch language. It is based upon it's predecessor TADPOLE (TAgger, Dependency Parser, and mOrphoLogical analyzEr). Using Memory-Based Learning techniques, Tadpole tokenizes, tags, lemmatizes, and morphologically segments word tokens in incoming Dutch UTF-8 text files, and assigns a dependency graph to each sentence. Tadpole is particularly targeted at the increasing need for fast, automatic NLP systems applicable to very large (multi-million to billion word) document collections that are becoming available due to the progressive digitization of both new and old textual data. . Frog is a product of the ILK (Induction of Linguistic Knowledge) research group of the Tilburg University and the CNTS research group of the University of Antwerp. . If you do scientific research in NLP, Frog will likely be of use to you. -- Frog depends upon the TiMBL, TimblServer, and Mbt software packages. These are available from deb http://apt.ticc.uvt.nl lenny main deb-src http://apt.ticc.uvt.nl lenny main . ITP's for these packages are planned. Frog has not yet been publically released (Tadpole has, see http://ilk.uvt.nl/downloads/pub/software/tadpole-0.6.tar.gz .) Bye, Joost signature.asc Description: Digital signature
Re: List of FTBFS in Ubuntu
Lucas Nussbaum wrote: > Hi, >>From time to time, I do archive rebuilds for Ubuntu too, and I thought > that the results would be interesting for DDs as well, since a FTBFS in > Ubuntu might indicate that the package will FTBFS in the future in > Debian, due to toolchain changes for example. > Below is a dd-list of the failures. [...] > Andreas Metzler > enblend-enfuse (U) caused by --as-needed with boost. > libgcrypt11 (U) [...] makeinfo crashes. cu andreas -- `What a good friend you are to him, Dr. Maturin. His other friends are so grateful to you.' `I sew his ears on from time to time, sure' -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/b25qs7-clj@argenau.downhill.at.eu.org
Bug#605904: ITP: logtop -- Realtime log line rate analyzer
Package: wnpp Severity: wishlist Owner: Julien Palard * Package name: logtop Version : 0.1 Upstream Author : Julien Palard * URL : http://github.com/JulienPalard/logtop * License : FreeBSD Programming Lang: C Description : Realtime log line rate analyzer logtop is a Linux tool for System Administrators to display log lines rate, grouped, in real time. Kind of : watch tail FILE | sort | uniq -c | sort -gr -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20101204153752.17656.73080.report...@ks370117.kimsufi.com
Bug#605914: ITP: librecad -- 2D CAD program (qt4 port of QCad)
Package: wnpp Severity: wishlist Owner: Scott Howard * Package name: librecad Version : 1.0.0beta4 (won't propagate to testing until it's out of beta) Upstream Author : Ries van Twisk * URL : http://www.caduntu.org/ * License : GPL-2 Programming Lang: C++ Description : 2D CAD program (qt4 port of QCad) I'm the maintainer of QCad, a popular CAD program on Debian. QCad is a GPL program released by a commercial company, which has not ported to qt4. After squeeze, Debian will drop the qt3 libraries, so QCad will be removed. The librecad project is a qt4 port of QCad using qt3compat libraries. My plan is to maintain it under debian-sceince (as is qcad). One note: the project is changeing names from caduntu to librecad, so the package will be named librecad. -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20101021162932.5025.14584.report...@debian-scott.sk1m
Bug#605919: ITP: mbt -- memory-based tagger-generator and tagger for natural language processing
Package: wnpp Severity: wishlist Owner: Joost van Baal * Package name: mbt Version : 3.2.2 Upstream Author : ILK Research Group, Tilburg University, http://ilk.uvt.nl * URL : http://ilk.uvt.nl/mbt * License : GPL-3 Programming Lang: C++ Description : memory-based tagger-generator and tagger for natural language processing MBT is a memory-based tagger-generator and tagger in one. The tagger-generator part can generate a sequence tagger on the basis of a training set of tagged sequences; the tagger part can tag new sequences. MBT can, for instance, be used to generate part-of-speech taggers or chunkers for natural language processing. Features: * Tagger generation: tagged text in, tagger out, * Optional feedback loop: feed previous tag decision back to input of next decision, * Easily customizable feature representation; can incorporate user-provided features, * Automatic generation of separate sub-taggers for known words and unknown words, * Can make use of full algorithmic parameters of TiMBL. . If you do scientific research in natural language processing, MBT will likely be of use to you. --- MBT depends upon TiMBL, see Bug#605913: ITP: timbl -- Tilburg Memory Based Learner. The current MBT upstream release is available from http://ilk.uvt.nl/downloads/pub/software/mbt-3.2.2.tar.gz . Debian packages are available from deb http://apt.ticc.uvt.nl lenny main deb-src http://apt.ticc.uvt.nl lenny main . You can find e.g. http://apt.ticc.uvt.nl/pool/main/m/mbt/mbt_3.2.2-1.dsc there. See also Bug#605905: ITP: frog -- tagger and parser for Dutch language . Bye, Joost signature.asc Description: Digital signature
Bug#605928: ITP: timblserver -- Server extensions for TiMBL
Package: wnpp Severity: wishlist Owner: Joost van Baal * Package name: timblserver Version : 1.0.0 Upstream Author : ILK Research Group, Tilburg University, http://ilk.uvt.nl * URL : http://ilk.uvt.nl/timbl/ * License : GPL-3 Programming Lang: C++ Description : Server extensions for TiMBL TimblServer is a TiMBL wrapper; it adds server functionality to TiMBL. It allows TiMBL to run multiple experiments as a TCP server, optionally via HTTP. . The Tilburg Memory Based Learner, TiMBL, is a tool for Natural Language Processing research, and for many other domains where classification tasks are learned from examples. . TimblServer is a product of the ILK (Induction of Linguistic Knowledge) research group of the Tilburg University and the CNTS research group of the University of Antwerp. . If you do scientific research in NLP, TimblServer will likely be of use to you. --- The current TimblServer upstream release is available from http://ilk.uvt.nl/downloads/pub/software/timblserver-1.0.0.tar.gz . Debian packages are available from deb http://apt.ticc.uvt.nl lenny main deb-src http://apt.ticc.uvt.nl lenny main . You can find e.g. http://apt.ticc.uvt.nl/pool/main/t/timblserver/timblserver_1.0.0-2.dsc there. See also Bug#605905: ITP: frog -- tagger and parser for Dutch language and Bug#605913: ITP: timbl -- Tilburg Memory Based Learner. Bye, Joost signature.asc Description: Digital signature
Re: List of FTBFS in Ubuntu
On Fri, Dec 03, 2010 at 02:28:32PM +, Roger Leigh wrote: > On Fri, Dec 03, 2010 at 03:14:05PM +0100, Samuel Thibault wrote: > > Roger Leigh, le Fri 03 Dec 2010 14:08:48 +, a écrit : > > > While I do find this a rather annoying violation of encapsulation, > > > you will find (e.g. with "nm -C -D") your binary will have > > > boost::system symbols in it which are only satisfied indirectly > > > via libboost_filesystem and which would result in breakage if > > > libboost_filesystem drops that dependency and you don't explicitly > > > link against it. Ideally, the headers should be fixed. > > > > Or simply the equivalent of pkgconfig's "Requires:" be used. > > > > You can't make all application know what headers are doing, since that > > could change. > > pkg-config support for Boost is a long-standing issue. Unfortunately, > there's no usable alternative that provides this information… OK, I've written a patch to implement pkg-config .pc generation for Boost, and submitted it upstream. It uses the same auto-link header include mechanism used for auto-linking on Windows, so it can't get out of sync on different platforms, using some C++ static class members and anonymous namespace hackery to store the data during preprocessing. https://svn.boost.org/trac/boost/ticket/1094 If anyone is familiar with the bjam build system used by Boost, the actual .pc generation could be integrated in the patch. I am not familiar with it, unfortunately. Regards, Roger -- .''`. Roger Leigh : :' : Debian GNU/Linux http://people.debian.org/~rleigh/ `. `' Printing on GNU/Linux? http://gutenprint.sourceforge.net/ `-GPG Public Key: 0x25BFB848 Please GPG sign your mail. signature.asc Description: Digital signature
Bug#605966: ITP: spice-vdagent -- Spice agent for Linux
Package: wnpp Severity: wishlist X-Debbugs-CC: debian-devel@lists.debian.org Package name: spice-vdagent Version: 0.6.3 Upstream Author: Gerd Hoffmann , Hans de Goede URL: http://www.spice-space.org License: GPLv3 Description: Spice agent for Linux spice-vdagent is the spice agent for Linux, it is used in conjunction with spice-compitable hypervisor, its feature includs: * Client mouse mode (no need to grab mouse by client, no mouse lag) this is handled by the daemon by feeding mouse events into the kernel via uinput. This will only work if the active X-session is running a spice-vdagent process so that its resolution can be determined. * Automatic adjustment of the X-session resolution to the client resolution * Support of copy and paste (text and images) between the active X-session and the client -- Liang Guo http://bluestone.cublog.cn signature.asc Description: Digital signature
