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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
