Your message dated Thu, 20 Jan 2011 22:47:14 +0000
with message-id <[email protected]>
and subject line Bug#606643: fixed in minisat2 1:2.2.0-3
has caused the Debian Bug report #606643,
regarding minisat2: problems with include files
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
606643: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=606643
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: minisat2
Version: 1:2.2.0-2
Severity: normal
Hello.
I'm trying to compile a library against minisat2, but
I've noticed that the includes in /usr/include/minisat2
are wrong. Basically, the minisat2upstream author has a
layout with
core
mtl
simp
utils
and include files are scattered all around the places.
Since you copied all .h in /usr/include/minisat2, without
changing the .h files, all local references are wrong.
for example in the file Solver.h you have an include
#include "mtl/Vec.h"
#include "mtl/Heap.h"
that are clearly nowhere to be found.
I think we have two solutions. either you patch the .h files
to flatten everything in one directory, or you replicate the
upstream hierarchy in /usr/include ...
Moreover I've noticed that the file Options.h that in included
by Solver.h is missing.
thanks.
pietro
ps: if you don't have time I can cook a patch from your git
reposotory.
-- 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
--- End Message ---
--- Begin Message ---
Source: minisat2
Source-Version: 1:2.2.0-3
We believe that the bug you reported is fixed in the latest version of
minisat2, which is due to be installed in the Debian FTP archive:
minisat2_2.2.0-3.debian.tar.gz
to main/m/minisat2/minisat2_2.2.0-3.debian.tar.gz
minisat2_2.2.0-3.dsc
to main/m/minisat2/minisat2_2.2.0-3.dsc
minisat2_2.2.0-3_amd64.deb
to main/m/minisat2/minisat2_2.2.0-3_amd64.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Tautschnig <[email protected]> (supplier of updated minisat2 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 20 Jan 2011 22:37:08 +0100
Source: minisat2
Binary: minisat2
Architecture: source amd64
Version: 1:2.2.0-3
Distribution: experimental
Urgency: low
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Michael Tautschnig <[email protected]>
Description:
minisat2 - Fast and lightweight SAT solver
Closes: 606643 606846
Changes:
minisat2 (1:2.2.0-3) experimental; urgency=low
.
* Current upstream git snapshot with fully reworked build system.
- Properly builds shared library (closes: #606846).
- Fixes include hierarchy (closes: #606643).
Checksums-Sha1:
71ceb6b8eb17efc5c2a0335ce73a5768ebca6ea2 1113 minisat2_2.2.0-3.dsc
6cba12ff096657bea9b022f7f2756ba898513633 51936 minisat2_2.2.0-3.debian.tar.gz
431121644ff0261518ea2594e20448b7824c7678 137376 minisat2_2.2.0-3_amd64.deb
Checksums-Sha256:
2236522dcd33783038a40bad19340dcbd19c749eedef839a29eb8b2ea5b5e0c2 1113
minisat2_2.2.0-3.dsc
bc57398db8aa2f1ddef9e0cdcf629176b26766cad0f0953a1f4c0094abe0579b 51936
minisat2_2.2.0-3.debian.tar.gz
745ad7401b9f0af8815fb01f10597f28c539c0927e2b17e17eff5d8833cc4a0c 137376
minisat2_2.2.0-3_amd64.deb
Files:
4a871fbba46258b88eaeed77b67d9ba0 1113 science extra minisat2_2.2.0-3.dsc
255515e538ac96f8e50c5caeb0e2484c 51936 science extra
minisat2_2.2.0-3.debian.tar.gz
2cf5b2348b18e2cda6b87d9c0fcc77ae 137376 science extra
minisat2_2.2.0-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk04uM0ACgkQvx6dH3bVKsSoggCgtfiQd1BcAcxdJPa4ZtQMvT7i
F8MAoPX+8GCf1BSc4m6rDxlRyCd+++w3
=PXIj
-----END PGP SIGNATURE-----
--- End Message ---
