Package: minisat2 Version: 1:2.2.0-2 Severity: normal
Hello again. It seems that while creating libminisat.so you also include Main.o making it pretty useless as dynamic library :) [...] /tmp/minisat2-2.2.0/utils/Options.h:76: instantiated from here /tmp/minisat2-2.2.0/mtl/Vec.h:99: warning: suggest parentheses around ‘&&’ within ‘||’ Compiling: utils/System.or make[2]: Leaving directory `/tmp/minisat2-2.2.0/core' g++ -o libminisat.so.2.0.0 -shared -Wl,-soname,libminisat.so.2 /tmp/minisat2-2.2.0/core/Main.or /tmp/minisat2-2.2.0/core/Solver.or /tmp/minisat2-2.2.0/utils/Options.or /tmp/minisat2-2.2.0/utils/System.or [...] your most affctionate minisat user. p -- System Information: Debian Release: squeeze/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing') Architecture: amd64 (x86_64) Kernel: Linux 2.6.18-6-xen-amd64 (SMP w/2 CPU cores) Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages minisat2 depends on: ii libc6 2.11.2-7 Embedded GNU C Library: Shared lib ii libgcc1 1:4.4.5-10 GCC support library ii libstdc++6 4.4.5-10 The GNU Standard C++ Library v3 ii zlib1g 1:1.2.3.4.dfsg-3 compression library - runtime minisat2 recommends no packages. minisat2 suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
