Package: gplcver Version: 2.12a-1 Severity: normal Please include the PLI/VPI header files, which are in pli_incs/ dir in source package, in the gplcver package, as they are needed for PLI/VPI.
My case is that I am preparing a package for covered, a Verilog coverage analysis tool. Covered has a feature that it can be used as a VPI module within a simulator to extract coverage information, instead of having to dump a VCD file, and GPL Cver is one of the supported simulators, yet the vpi_user.h (and maybe other headers) are needed to compile the VPI module. -- System Information: Debian Release: 5.0 APT prefers jaunty-updates APT policy: (500, 'jaunty-updates'), (500, 'jaunty-security'), (500, 'jaunty-proposed'), (500, 'jaunty-backports'), (500, 'jaunty') Architecture: i386 (i686) Kernel: Linux 2.6.28-15-generic (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages gplcver depends on: ii libc6 2.9-4ubuntu6 GNU C Library: Shared libraries gplcver recommends no packages. gplcver 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
